Salome HOME
projects
/
modules
/
shaper.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
c6ba8cc
)
Improve linux scripts
author
spo
<sergey.pokhodenko@opencascade.com>
Tue, 8 Sep 2015 11:03:35 +0000
(14:03 +0300)
committer
spo
<sergey.pokhodenko@opencascade.com>
Tue, 8 Sep 2015 11:43:38 +0000
(14:43 +0300)
make.sh
patch
|
blob
|
history
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