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
Add test for the compilation commands
[tools/sat.git]
/
commands
/
clean.py
diff --git
a/commands/clean.py
b/commands/clean.py
index eb3ccfa8ab2ecbf8017fee36b05b81550379dd4b..9d7b05b0e402af61933ed18a28bf70b645a8c99a 100644
(file)
--- a/
commands/clean.py
+++ b/
commands/clean.py
@@
-175,7
+175,7
@@
def run(args, runner, logger):
logger.write(" %s\n" % directory, 1)
rep = input(_("Are you sure you want to continue? [Yes/No] "))
if rep.upper() != _("YES"):
- return
+ return
0
# Suppress the list of paths
suppress_directories(l_dir_to_suppress, logger)