From a6d8b3b8478db511018f36b5ed8762c75d6e33d6 Mon Sep 17 00:00:00 2001
From: Gregory Hainaut <gregory.hainaut@gmail.com>
Date: Thu, 10 Jul 2014 09:17:07 +0200
Subject: [PATCH] linux build: add an easy option to strip binary

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

diff --git a/build.sh b/build.sh
index 77d6a3097..503fdcda9 100755
--- a/build.sh
+++ b/build.sh
@@ -23,6 +23,7 @@ do
     case $f in
         --dev|--devel ) flags="$flags -DCMAKE_BUILD_TYPE=Devel" ;;
         --dbg|--debug ) flags="$flags -DCMAKE_BUILD_TYPE=Debug" ;;
+        --strip       ) flags="$flags -DCMAKE_BUILD_STRIP=TRUE" ;;
         --release     ) flags="$flags -DCMAKE_BUILD_TYPE=Release" ;;
         --glsl        ) flags="$flags -DGLSL_API=TRUE" ;;
         --egl         ) flags="$flags -DEGL_API=TRUE" ;;