diff options
author | Krzesimir Nowak <qdlacz@gmail.com> | 2018-05-05 10:29:36 +0200 |
---|---|---|
committer | Krzesimir Nowak <qdlacz@gmail.com> | 2018-05-05 10:33:38 +0200 |
commit | 908c3d1793950f01bcc0b7625b664c02c9875498 (patch) | |
tree | ca5697c11fd6307168e9282407c01d10adb86750 /bootstrap.sh | |
parent | cab1917507e328b7044a79c0191ff4043f39f68e (diff) | |
download | autoconf-archive-908c3d1793950f01bcc0b7625b664c02c9875498.tar.gz |
bootstrap.sh: Do a shallow clone of gnulib
We just need some utilities from gnulib, so getting an entire history
of changes of the library is pointless. And it also takes more time.
Diffstat (limited to 'bootstrap.sh')
-rwxr-xr-x | bootstrap.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bootstrap.sh b/bootstrap.sh index 72df194..fa39c2e 100755 --- a/bootstrap.sh +++ b/bootstrap.sh @@ -3,7 +3,7 @@ set -eu if [ ! -d "gnulib" ] && [ $# -gt 0 ] && [ "$1" = "--copy" ]; then - git clone git://git.savannah.gnu.org/gnulib.git gnulib + git clone --depth 1 git://git.savannah.gnu.org/gnulib.git gnulib fi if [ -x "gnulib/gnulib-tool" ]; then |