chiark / gitweb /
Makefiles: remove +persist.* and +realtime.log on clean, in hostside
authorIan Jackson <ian@liberator.relativity.greenend.org.uk>
Wed, 5 Jan 2011 00:47:02 +0000 (00:47 +0000)
committerIan Jackson <ian@liberator.relativity.greenend.org.uk>
Wed, 5 Jan 2011 00:47:02 +0000 (00:47 +0000)
hostside/Makefile

index ba0b2f5f80fbbea499203c5ec0ba41cc6c68ab1b..7cb9e5233fd64925e8955fcc8d7045fb49a3897f 100644 (file)
@@ -91,7 +91,7 @@ input-codes.h:        extract-input-codes $(INPUT_H)
 #---------- administrative pseudo targets ----------
 
 tidy:
-               rm -rf ./+dump.*
+               rm -rf ./+dump.* ./+persist.* ./+realtime.log
 
 clean:
                rm -f *.o *.d t u v $(TARGETS) $(AUTOINCS)