Only clean up logfiles that we know we created.

diff --git a/debug/Makefile b/debug/Makefile
index c5ea9918a858b60543b97b6010e8aeb071949d80..760a57b8990e77c81e6f00750509d063d088c4ce 100644 (file)
--- 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