diff options
Diffstat (limited to 'config')
| -rw-r--r-- | config/commence.in | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/config/commence.in b/config/commence.in index 3a43cb8..1c66757 100644 --- a/config/commence.in +++ b/config/commence.in @@ -105,6 +105,11 @@ all: ## a version of make that doesn't treat the makefile as the initial target ## the user may want to occassionally type `make Makefile' in any source ## directory. +## The `Makefile' target has been renamed to `reconfigure' so that the +## autoconf and make depend processes do not start up automatically. +## One must do `make reconfigure' explicitedly to start the process. +## (When srcdir is used and if more than one machines are running, +## this automatic Makefile/autoconf can get things unstable.) ## STAMP1=$(top_builddir)/config/stamp1 STAMP2=$(top_builddir)/config/stamp2 |