diff options
author | Paul Eggert <[email protected]> | 2012-09-09 18:03:27 -0700 |
---|---|---|
committer | Paul Eggert <[email protected]> | 2012-09-09 18:03:27 -0700 |
commit | b8b0239fd0485002d1c761067c9047d1f26dbd4c (patch) | |
tree | fe258a2d99658a0fc300e6c70f1456be436537c8 /autogen.sh | |
parent | 3231d532c7e6c3ed0a2e58574bec5518404a7f82 (diff) |
Improve robustness of 'make bootstrap'.
Run autogen.sh after bootstrap-clean, to avoid bzr pull issues.
* INSTALL, README: Document autogen.sh.
* Makefile.in (Makefile): Mark it as precious, since it's updated
atomically.
(MAKE_CONFIG_STATUS): New macro.
(config.status, bootstrap): Use it. This causes 'make bootstrap'
to run config.status with the --recheck option, which is more
appropriate for a bootstrap.
(bootstrap): Run autogen.sh right after cleaning. Don't worry
about failures due to missing tools.
* autogen.sh: Exit with status 101 when failing due to missing tools.
* make-dist: Distribute autogen.sh.
Fixes: debbugs:12376
Diffstat (limited to 'autogen.sh')
-rwxr-xr-x | autogen.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/autogen.sh b/autogen.sh index 9cfaa40eee..dc8d53eec9 100755 --- a/autogen.sh +++ b/autogen.sh @@ -201,7 +201,7 @@ This is not recommended - see the comments in \`copy_autogen'. Please report any problems with this script to [email protected] . EOF - exit 1 + exit 101 # Exit status 101 means tools were missing. fi echo "Your system has the required tools, running autoreconf..." |