From 919001fae0a8c4b3fafe68b3187602fe88a2fbe2 Mon Sep 17 00:00:00 2001
From: Enno Rehling <enno@kn-bremen.de>
Date: Sun, 16 Oct 2016 16:41:08 +0200
Subject: [PATCH] do not rmdir tolua, we need it

---
 s/build | 1 -
 1 file changed, 1 deletion(-)

diff --git a/s/build b/s/build
index 820e330f9..b59804626 100755
--- 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"