Improve linux scripts

diff --git a/make.sh b/make.sh
index 0909eb96051617b7e436d68a8b55d0e0897633f0..2b19c4102e6dafa90442d4514a2dd9a49438cac2 100755 (executable)
--- a/make.sh
+++ b/make.sh
@@ -9,6 +9,8 @@ if [ -f GCOV ]; then
   source env_lcov.sh
   CMAKE_ARGS="${CMAKE_ARGS} -DCMAKE_BUILD_TYPE=Debug"
   CMAKE_ARGS="${CMAKE_ARGS} -DUSE_TEST_COVERAGE=ON"
+elif [ -f DEBUG ]; then
+  CMAKE_ARGS="${CMAKE_ARGS} -DCMAKE_BUILD_TYPE=Debug"
 else
   CMAKE_ARGS="${CMAKE_ARGS} -DCMAKE_BUILD_TYPE=Release"
 fi