diff bootstrap @ 11522:817f27bf0216

fix setting of gnulib default directory in bootstrap script
author John W. Eaton <jwe@octave.org>
date Fri, 14 Jan 2011 03:06:49 -0500
parents 00fe5069b70e
children 5c680b69b4e2
line wrap: on
line diff
--- a/bootstrap	Fri Jan 14 02:58:24 2011 -0500
+++ b/bootstrap	Fri Jan 14 03:06:49 2011 -0500
@@ -462,7 +462,7 @@
 }
 
 gnulib_path=`git_modules_config submodule.gnulib.path`
-: ${gnulib_path=gnulib}
+: ${gnulib_path:=gnulib}
 
 # Get gnulib files.