bootstrap: make sure gnulib file droppings are removed.

* bootstrap.conf (libtool_cleanup_empty_dirs): Recent bootstrap
updates set source_base to null, so we need to use ${x:-y} to
override the null.  Autoconf Shellology says that ancient BSD
/bin/sh chokes on :- defaults, but bootstrap is a developer tool,
and so we can reasonably expect a developer to have a working
/bin/sh to run the bootstrap script.

Signed-off-by: Gary V. Vaughan <gary@gnu.org>

diff --git a/bootstrap.conf b/bootstrap.conf
index 2e99673c4cb4828e7bc44fda3e3303aef4b77efc..9606e648888394f3e9f6f6acb27d67215d9fed9f 100644 (file)
--- a/bootstrap.conf
+++ b/bootstrap.conf
@@ -309,7 +309,8 @@ libtool_cleanup_empty_dirs ()
 {
     $debug_cmd
 
-    my_gnulib_source=${source_base-'lib'}
+    my_gnulib_source=${source_base:-'lib'}
+
     if test -d "$my_gnulib_source"; then
       rm -f "$my_gnulib_source/.gitignore" "$my_gnulib_source/Makefile.am" || exit 1
       rmdir "$my_gnulib_source" || exit 1