diff options
| author | Bruno Haible <bruno@clisp.org> | 2022-07-25 10:21:42 +0200 |
|---|---|---|
| committer | Bruno Haible <bruno@clisp.org> | 2022-07-25 10:21:42 +0200 |
| commit | f00af4baf2c7416c5d7c4674c072ef2a51e40668 (patch) | |
| tree | c3583c25181129fd0f56688fcdb17a0752c34390 /top/gen-bootstrap.sed | |
| parent | 012d9a08a50313389e722e8279e7a8e207621b1d (diff) | |
| download | gnulib-f00af4baf2c7416c5d7c4674c072ef2a51e40668.tar.gz | |
bootstrap: Make the automatic sync more resilient.
Reported by Paul Eggert in
<https://lists.gnu.org/archive/html/bug-gnulib/2022-07/msg00060.html>.
* top/bootstrap (bootstrap_sync): Set to true when bootstrap-funclib.sh
is not present.
* top/gen-bootstrap.sed: Insert a couple of comment lines.
* build-aux/bootstrap: Regenerated using "make build-aux/bootstrap".
Diffstat (limited to 'top/gen-bootstrap.sed')
| -rw-r--r-- | top/gen-bootstrap.sed | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/top/gen-bootstrap.sed b/top/gen-bootstrap.sed index 2851db5eaf..c182abfa50 100644 --- a/top/gen-bootstrap.sed +++ b/top/gen-bootstrap.sed @@ -1,3 +1,13 @@ +1{ +a\ +# DO NOT EDIT! GENERATED AUTOMATICALLY! +a\ +# This script is only a trampoline that fetches the companion scripts +a\ +# (bootstrap-funclib.sh, autopull.sh, autogen.sh). +a\ + +} /^[.] "[$]medir"[/]bootstrap-funclib.sh/{ s/^.*$// r top/bootstrap-funclib.sh |