diff options
author | Zack Weinberg <zackw@panix.com> | 2020-03-13 13:35:01 -0400 |
---|---|---|
committer | Zack Weinberg <zackw@panix.com> | 2020-03-13 13:35:01 -0400 |
commit | 2d06297bd550a0015f3ccedda9f43d7c616cfaf8 (patch) | |
tree | c61c350efdd96aae65cd31365a89e85acc9ce9a6 /README-hacking | |
parent | 9894c7b5ba694820636f79ddec0c82e23af5e8e0 (diff) | |
download | autoconf-2d06297bd550a0015f3ccedda9f43d7c616cfaf8.tar.gz |
README-hacking: re-configure from scratch during bootstrap.
When building autoconf from a git checkout, recommend running
‘make distclean’ and a second ‘./configure’ after regenerating
autoconf’s own configure script using the just-built autoconf.
If one only runs ‘make check’ at that point, some configure-time
tests will not be repeated using the new code, such as detection
of a “better” shell.
Diffstat (limited to 'README-hacking')
-rw-r--r-- | README-hacking | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/README-hacking b/README-hacking index abf841b9..ab1cf679 100644 --- a/README-hacking +++ b/README-hacking @@ -81,6 +81,8 @@ generated files are regenerated using the tools just built by "make" $ ./configure $ make $ ( PATH=`pwd`/tests:$PATH; autoreconf -vi ) + $ make distclean + $ ./configure $ make check At this point, there should be no difference between your local copy, |