projects
/
SymbiYosys.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
(from parent 2:
d0da57f
)
Merge pull request #173 from jix/test-cvc
author
Jannis Harder
<me@jix.one>
Fri, 10 Jun 2022 13:24:49 +0000
(15:24 +0200)
committer
GitHub
<noreply@github.com>
Fri, 10 Jun 2022 13:24:49 +0000
(15:24 +0200)
Test that cvc4 and cvc5 can be used
sbysrc/sby.py
patch
|
blob
|
history
diff --git
a/sbysrc/sby.py
b/sbysrc/sby.py
index d13960c7454439add42f0379053692fbe8ba6702..19a962b40f36d0f0a3907d620c37051e055a96a6 100644
(file)
--- a/
sbysrc/sby.py
+++ b/
sbysrc/sby.py
@@
-424,7
+424,7
@@
def run_task(taskname):
if reusedir:
pass
elif os.path.isdir(my_workdir):
- print(f"ERROR: Directory '{my_workdir}' already exists.")
+ print(f"ERROR: Directory '{my_workdir}' already exists
, use -f to overwrite the existing directory
.")
sys.exit(1)
else:
os.makedirs(my_workdir)