Improve make.sh

diff --git a/make.sh b/make.sh
index 15b951265c280548253548ee4de85d763d9d6487..491d8f394ff5ab7f975207e4d94600f001cd3085 100755 (executable)
--- a/make.sh
+++ b/make.sh
@@ -7,21 +7,21 @@ while [[ $# > 0 ]]; do
 
   case $key in
     debug|Debug)
-    BUILD_TYPE=Debug
-    shift
-    ;;
+      BUILD_TYPE=Debug
+      shift
+      ;;
     lcov|coverage)
-    BUILD_TYPE=Debug
-    USE_TEST_COVERAGE=ON
-    shift
-    ;;
+      BUILD_TYPE=Debug
+      USE_TEST_COVERAGE=ON
+      shift
+      ;;
     standalone|Standalone)
-    MODE=Standalone
-    shift
-    ;;
+      MODE=Standalone
+      shift
+      ;;
     *)
-    shift
-    ;;
+      shift
+      ;;
   esac
 done