diff options
-rw-r--r-- | debug/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debug/Makefile b/debug/Makefile index c5ea991..760a57b 100644 --- a/debug/Makefile +++ b/debug/Makefile @@ -20,4 +20,4 @@ pylint: | tee $@ 2>&1 || (sed s/^/$@:\ / $@ && false) clean: - rm -f *.log *.pyc + rm -f spike32.log spike64.log *.pyc |