diff options
-rwxr-xr-x | bootstrap.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/bootstrap.sh b/bootstrap.sh index 9fdbccd..d14495c 100755 --- a/bootstrap.sh +++ b/bootstrap.sh @@ -2,6 +2,10 @@ set -eu +if [ ! -d "gnulib" ] && [ $# -gt 0 ] && [ "$1" = "--copy" ]; then + git clone git://git.savannah.gnu.org/gnulib.git gnulib +fi + if [ -x "gnulib/gnulib-tool" ]; then gnulibtool=gnulib/gnulib-tool else |