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 | |||
23 | 23 | ||
24 | if git config submodule.grecs.url >/dev/null; then : ; else | ||
25 | git submodule init || exit $? | ||
26 | git submodule update || exit $? | ||
27 | fi | ||
28 | |||
24 | # We don't need these modules, even though gnulib-tool mistakenly | 29 | # We don't need these modules, even though gnulib-tool mistakenly |
@@ -31,3 +36,3 @@ avoided_gnulib_modules=' | |||
31 | # gnulib modules used by this package. | 36 | # gnulib modules used by this package. |
32 | gnulib_modules="`grep -h '^[^#]' gnulib.modules gconf/gnulib.modules | sort | uniq`" | 37 | gnulib_modules="`grep -h '^[^#]' gnulib.modules grecs/gnulib.modules | sort | uniq`" |
33 | 38 | ||