Salome HOME
projects
/
tools
/
sat.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Separating the test command from the other commands in the boards made by the jobs...
[tools/sat.git]
/
commands
/
job.py
diff --git
a/commands/job.py
b/commands/job.py
index 136e2ab740d79debc26a8c590ffef5fd9da1fc11..f27f7e733363ba4b6dde398d9517f092f75fa878 100644
(file)
--- a/
commands/job.py
+++ b/
commands/job.py
@@
-155,7
+155,8
@@
def run(args, runner, logger):
nb_pass += 1
logger.write('%s\n' % src.printcolors.printc(src.OK_STATUS), 3)
else:
nb_pass += 1
logger.write('%s\n' % src.printcolors.printc(src.OK_STATUS), 3)
else:
- res = 1
+ if sat_command_name != "test":
+ res = 1
logger.write('%s %s\n' % (src.printcolors.printc(src.KO_STATUS),
error), 3)
if len(stack) > 0:
logger.write('%s %s\n' % (src.printcolors.printc(src.KO_STATUS),
error), 3)
if len(stack) > 0: