projects
/
SymbiYosys.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
(from parent 1:
0d90e29
)
Merge pull request #185 from georgerennie/prefix_empty_taskname
author
Jannis Harder
<me@jix.one>
Fri, 24 Jun 2022 10:40:09 +0000
(12:40 +0200)
committer
GitHub
<noreply@github.com>
Fri, 24 Jun 2022 10:40:09 +0000
(12:40 +0200)
Use default prefix directory when no task is specified
sbysrc/sby.py
patch
|
blob
|
history
diff --git
a/sbysrc/sby.py
b/sbysrc/sby.py
index f3eca9b5b732986189b1182330aba50cc742cff2..e079ff6c61520678f316b10406d2eed40aab29cf 100644
(file)
--- a/
sbysrc/sby.py
+++ b/
sbysrc/sby.py
@@
-402,7
+402,10
@@
def run_task(taskname):
if workdir is not None:
my_workdir = workdir
elif workdir_prefix is not None:
- my_workdir = workdir_prefix + "_" + taskname
+ if taskname is None:
+ my_workdir = workdir_prefix
+ else:
+ my_workdir = workdir_prefix + "_" + taskname
if my_workdir is None and sbyfile is not None and not my_opt_tmpdir:
my_workdir = sbyfile[:-4]