aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorGravatar simonmar <unknown>2005-07-21 12:54:33 +0000
committerGravatar simonmar <unknown>2005-07-21 12:54:33 +0000
commit7fd41f87817cd390d318b16f672cac8a8a809377 (patch)
tree282b27f2078b9fdc33352e332e6198364c3d6df4
parentf626431239a7814a07cfde41ac7b4024db87d6fd (diff)
[project @ 2005-07-21 12:54:33 by simonmar]
Hack Makefiles so that 'make distclean' works even if the tree has not been configured, or 'make distclean' has already been run. This is to solve problems caused by 'make distclean' removing files that it needs itself - previously we were arranging to remove certain files right at the end of cleaning, but this is fragile. So now we assume that e.g. the X11 library is always enabled when we're cleaning.
-rw-r--r--Makefile1
1 files changed, 0 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 565a6e2..00552d9 100644
--- a/Makefile
+++ b/Makefile
@@ -13,6 +13,5 @@ SRC_HSC2HS_OPTS += -Iinclude -I../../mk/ $(unix_SRC_HSC2HS_OPTS)
SRC_HC_OPTS += -Iinclude $(unix_SRC_HSC2HS_OPTS)
DIST_CLEAN_FILES += unix.buildinfo config.cache config.status
-LATE_DIST_CLEAN_FILES += config.mk
include $(TOP)/mk/target.mk