Makefile: bugfix

diff --git a/Makefile b/Makefile
index dce93f9970bb17db8868ecd3c64674a19871418a..2260df74616ed32d1bec0fc1f4e77e83c28a1523 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -14,7 +14,7 @@ clean:
        rm -f Build Build.tmp
 
 Build: $(SOURCES)
-       rm -f $@.tmp
+       rm -f $@ $@.tmp
        for i in $(SOURCES); do \
                cat $$i >> $@.tmp; \
                echo >> $@.tmp; \