diff options
author | Soumith Chintala <soumith@gmail.com> | 2017-05-21 20:57:30 +0300 |
---|---|---|
committer | Soumith Chintala <soumith@gmail.com> | 2017-05-21 20:57:30 +0300 |
commit | 25a3a63aa93f6134323f409946686889f9e7b706 (patch) | |
tree | e84ab0570a808d49c69d722e996f4d63e6c79778 | |
parent | 8cf6ff96a00bf64f2d790e28bdd7c645e5692586 (diff) |
fix script to not update luajit-rocks
-rwxr-xr-x | admin/updateSubmodules.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/admin/updateSubmodules.sh b/admin/updateSubmodules.sh index f6f330b..b66b834 100755 --- a/admin/updateSubmodules.sh +++ b/admin/updateSubmodules.sh @@ -1,5 +1,7 @@ git pull git submodule update -git submodule foreach git pull origin master +# dont update luajit-rocks because of https://github.com/LuaJIT/LuaJIT/issues/325 +git submodule foreach bash -c 'if [ $(basename $(pwd)) != 'luajit-rocks' ]; then git pull origin master; fi' +# git submodule foreach git pull origin master git add extra pkg exe git commit -m "updating packages" |