diff options
author | reactormonk <hafnersimon@gmail.com> | 2015-05-08 02:53:19 +0500 |
---|---|---|
committer | reactormonk <hafnersimon@gmail.com> | 2015-05-08 02:53:19 +0500 |
commit | 073547bbc41c0160cd2b304e1fce758c74d0c267 (patch) | |
tree | 6aae5f96f715ceb9cfe9abd5b4386a348d82df4e | |
parent | a490e13342eb9e43bfc5aed607ff37efd9b26420 (diff) | |
parent | 7e479993a427cd72947ce06b318226ba0269e5f9 (diff) | |
download | Nim-073547bbc41c0160cd2b304e1fce758c74d0c267.tar.gz |
Merge pull request #2675 from nanoant/patch/fixup-build-csources-submodule-pull
Fixup: csources is empty after clone
-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 |