X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Smake;h=2b1286283ddd8a8774360fb4e8e7d06d0932ec06;hb=2b6f9b8c607743ea7324b2b7e9a3b3fe7afa5f4e;hp=723e75beba0b1e6cd74fb8566229fc5ee4157f9c;hpb=0498114186f126d786cc0f3cf6686a43b8513e62;p=pspp

diff --git a/Smake b/Smake
index 723e75beba..2b1286283d 100644
--- a/Smake
+++ b/Smake
@@ -128,6 +128,7 @@ clean:
 	rm -f mdate-sh texinfo.tex
 	rm -f doc/stamp-vti
 	rm -f config.h.in~
+	rm -f config.h.in
 	find . -name Makefile.in -exec rm -f {} \; 
 	rm -f compile
 	rm -f ltmain.sh