bug-gnustep
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PATCH] gui/GNUmakefile.postamble


From: Kazunobu Kuriyama
Subject: [PATCH] gui/GNUmakefile.postamble
Date: Thu, 15 Jan 2004 13:52:01 +0900
User-agent: Mozilla/5.0 (X11; U; Linux i686; ja-JP; rv:1.4) Gecko/20030624 Netscape/7.1

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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]