diff options
-rwxr-xr-x | build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build.sh b/build.sh index 87e12dcfd..91e169241 100755 --- a/build.sh +++ b/build.sh @@ -2,7 +2,7 @@ set -e set -x -if [ ! -d "csources" ]; then +if [ ! -e csources/.git ]; then git submodule update --init --depth 1 fi |