projects
/
SymbiYosys.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
fb5705b
)
Use default prefix directory when no task is specified
author
George Rennie
<georgerennie@gmail.com>
Sat, 18 Jun 2022 23:49:12 +0000
(
00:49
+0100)
committer
George Rennie
<georgerennie@gmail.com>
Sat, 18 Jun 2022 23:49:12 +0000
(
00:49
+0100)
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]