diff options
Diffstat (limited to 'bootstrap.conf')
-rw-r--r-- | bootstrap.conf | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/bootstrap.conf b/bootstrap.conf index 6119189..fde2671 100644 --- a/bootstrap.conf +++ b/bootstrap.conf @@ -23,2 +23,7 @@ test -d $source_base || mkdir -p $source_base +if git config submodule.grecs.url >/dev/null; then : ; else + git submodule init || exit $? + git submodule update || exit $? +fi + # We don't need these modules, even though gnulib-tool mistakenly @@ -31,3 +36,3 @@ avoided_gnulib_modules=' # gnulib modules used by this package. -gnulib_modules="`grep -h '^[^#]' gnulib.modules gconf/gnulib.modules | sort | uniq`" +gnulib_modules="`grep -h '^[^#]' gnulib.modules grecs/gnulib.modules | sort | uniq`" |