The patch rectifies the behavior of 'make distclean.', failing to delete
config.make
even after the command is issued.

This seems to have been a debt legacy since config.make was once called
config.mak.

--- GNUmakefile.postamble.orig  2004-01-14 10:06:17.000000000 +0900
+++ GNUmakefile.postamble       2004-01-15 13:15:36.000000000 +0900
@@ -78,7 +78,7 @@
 
 # Things to do after distcleaning
 after-distclean::
-       rm -f config.status config.log config.cache TAGS config.mak gui.make
+       rm -f config.status config.log config.cache TAGS config.make gui.make
 
 gui.make: gui.make.in
        ./configure
_______________________________________________
Bug-gnustep mailing list
[EMAIL PROTECTED]
http://mail.gnu.org/mailman/listinfo/bug-gnustep

Reply via email to