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:
5448166
)
Improve make.sh
author
spo
<sergey.pokhodenko@opencascade.com>
Mon, 28 Dec 2015 09:28:59 +0000
(12:28 +0300)
committer
spo
<sergey.pokhodenko@opencascade.com>
Mon, 28 Dec 2015 09:28:59 +0000
(12:28 +0300)
make.sh
patch
|
blob
|
history
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