From 9ce91f5128618b398e8b49849672e2833262cb5f Mon Sep 17 00:00:00 2001 From: Jonathan Bauer Date: Tue, 21 Jun 2011 17:42:32 +0200 Subject: removed unneeded include --- build.sh | 1 - 1 file changed, 1 deletion(-) (limited to 'build.sh') diff --git a/build.sh b/build.sh index cda70f2..0d6f4eb 100755 --- a/build.sh +++ b/build.sh @@ -8,7 +8,6 @@ if [ "$1" = "--clean" ] then rm -rf $BUILDDIR echo "$BUILDDIR removed." - exit 1 fi if [ ! -f CMakeLists.txt ] -- cgit v1.2.3-55-g7522