do not rmdir tolua, we need it

2016-10-16 16:41:08 +02:00 · 2016-10-16 16:41:08 +02:00 · 919001fae0
parent 0de30cd376
commit 919001fae0
1 changed files with 0 additions and 1 deletions
--- a/s/build
+++ b/s/build
@ -33,7 +33,6 @@ if [ ! -d $ROOT/$BUILD ]; then
  exit
 fi
 rm -rf crypto tolua
 git submodule update
 echo "build eressea"