Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/torch/distro.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xadmin/updateSubmodules.sh4
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"