Commit a9f2ddd3dc0af3e10aca8287671cf4a5a922a48f

Werner Lemberg 2000-08-01T08:43:44

Added a `distclean' target to remove files which are produced by the UNIX configure script (in case no config.mk has been created due to errors).

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
diff --git a/Makefile b/Makefile
index ab15cda..4834fd4 100644
--- a/Makefile
+++ b/Makefile
@@ -82,6 +82,16 @@ ifdef check_platform
     setup: make_module_list
   endif
 
+  # This rule makes sense for Unix only to remove files created by a run
+  # of the configure script which hasn't been successful (so that no
+  # `config.mk' has been created).  It uses the built-in $(RM) command of
+  # GNU make.
+  #
+  distclean:
+	$(RM) builds/unix/config.cache
+	$(RM) builds/unix/config.log
+	$(RM) builds/unix/config.status
+
   # IMPORTANT:
   #
   # `setup' must be defined by the host platform detection rules to create