From 20b6987d0aa31bfb81d21dc59f9717e00b8c6333 Mon Sep 17 00:00:00 2001
From: Faerbit <faerbit@gmail.com>
Date: Tue, 24 Feb 2015 11:02:24 +0100
Subject: [PATCH] While cleaning also clean lua.

---
 build.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/build.sh b/build.sh
index ff99e45..900a2cf 100755
--- a/build.sh
+++ b/build.sh
@@ -5,6 +5,7 @@ then
     rm -rf build
     rm -rf binaries
     rm -rf extern/bullet/build
+    cd extern/lua; make clean; cd ../..
     exit
 fi