diff options
| author | Adam Strzelecki <ono@java.pl> | 2015-05-07 23:07:15 +0200 |
|---|---|---|
| committer | Adam Strzelecki <ono@java.pl> | 2015-05-07 23:07:15 +0200 |
| commit | 7e479993a427cd72947ce06b318226ba0269e5f9 (patch) | |
| tree | 6aae5f96f715ceb9cfe9abd5b4386a348d82df4e | |
| parent | a490e13342eb9e43bfc5aed607ff37efd9b26420 (diff) | |
| download | Nim-7e479993a427cd72947ce06b318226ba0269e5f9.tar.gz | |
Fixup: csources is empty after clone
We actually need to check for existence of csources/.git and then do git submodule update --init, which pulls the data for submodule.
| -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 |