diff options
Diffstat (limited to 'bootstrap.conf')
-rw-r--r-- | bootstrap.conf | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/bootstrap.conf b/bootstrap.conf index 98e83bbfd..c0b5f0233 100644 --- a/bootstrap.conf +++ b/bootstrap.conf @@ -346,6 +346,13 @@ bootstrap_post_import_hook () # Massage lib/gnulib.mk before using it later in the bootstrapping process. build-aux/prefix-gnulib-mk --lib-name=$gnulib_name lib/$gnulib_mk + + # Regenerate src/single-binary.mk + (mkf=src/single-binary.mk tmp=single-binary.tmp \ + && rm -f $mkf $tmp \ + && build-aux/gen-single-binary.sh src/local.mk >$tmp \ + && chmod a-w $tmp \ + && mv -f $tmp $mkf) } |