[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
- [PATCH] gui/GNUmakefile.postamble,
Kazunobu Kuriyama <=