X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Smake;h=bb7934647f44726fff1a170f94036bd72d44e6c1;hb=aae1a8f067ddd9c091b2ed591f7d496fe98a35e0;hp=6ec4326a96022971c5ca82c1c54e9271b48d14c1;hpb=d86cce86d3f0ac665de30543d18aea23653d3f94;p=pspp

diff --git a/Smake b/Smake
index 6ec4326a96..bb7934647f 100644
--- a/Smake
+++ b/Smake
@@ -440,9 +440,14 @@ clean:
 	rm -f config.h.in
 	rm -f gl/Makefile.in
 	rm -f Makefile.in
-	rm -f compile
-	rm -f ltmain.sh
-	rm -f reloc-ldflags install-reloc
+	rm -f build-aux/compile
+	rm -f build-aux/ltmain.sh
+	rm -f build-aux/reloc-ldflags
+	rm -f build-aux/install-reloc
+	rm -f build-aux/config.rpath
+	rm -f build-aux/config.libpath
+	rm -f build-aux/libtool-reloc
+	rm -f build-aux/gitlog-to-changelog
 
 .PHONY: all gettextize clean