diff options
| -rw-r--r-- | .gitignore | 1 | ||||
| -rw-r--r-- | .gitmodules | 3 | ||||
| -rwxr-xr-x | bootstrap.sh (renamed from build.sh) | 2 | ||||
| m--------- | csources | 0 |
4 files changed, 2 insertions, 4 deletions
diff --git a/.gitignore b/.gitignore index 462df4efc..1971a23cb 100644 --- a/.gitignore +++ b/.gitignore @@ -41,3 +41,4 @@ xcuserdata/ /testresults.html /testresults.json testament.db +/csources diff --git a/.gitmodules b/.gitmodules deleted file mode 100644 index 26f35d82c..000000000 --- a/.gitmodules +++ /dev/null @@ -1,3 +0,0 @@ -[submodule "csources"] - path = csources - url = ../../nim-lang/csources.git diff --git a/build.sh b/bootstrap.sh index 91e169241..ade74a9aa 100755 --- a/build.sh +++ b/bootstrap.sh @@ -3,7 +3,7 @@ set -e set -x if [ ! -e csources/.git ]; then - git submodule update --init --depth 1 + git clone --depth 1 git://github.com/nim-lang/csources.git csources fi cd "csources" diff --git a/csources b/csources deleted file mode 160000 -Subproject 15724e2e1f3e7749d508dfcd995e84fea285080 |