Salome HOME
projects
/
tools
/
sat.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
15c7e95
)
ajout de deux variables SAT_DEBUG et SAT_VERBOSE si les modes debug ou verbose sont...
author
crouzet
<nicolas.crouzet@cea.fr>
Fri, 22 Nov 2019 10:33:43 +0000
(11:33 +0100)
committer
crouzet
<nicolas.crouzet@cea.fr>
Fri, 22 Nov 2019 10:33:43 +0000
(11:33 +0100)
src/compilation.py
patch
|
blob
|
history
diff --git
a/src/compilation.py
b/src/compilation.py
index b8b8ce0cf8150b24ff76340da35da6ebbb019baf..e0ec8d69c0530f8f21740b0579fc2eb672b695a7 100644
(file)
--- a/
src/compilation.py
+++ b/
src/compilation.py
@@
-467,6
+467,11
@@
CC=\\"hack_libtool\\"%g" libtool'''
# in order for the compilation script to take it into account
if src.product.product_is_hpc(self.product_info):
self.build_environ.set("SAT_HPC", "1")
+ if self.debug_mode:
+ self.build_environ.set("SAT_DEBUG", "1")
+ if self.verbose_mode:
+ self.build_environ.set("SAT_VERBOSE", "1")
+
def do_batch_script_build(self, script, nb_proc):