From: George Rennie <georgerennie@gmail.com>
Date: Sat, 18 Jun 2022 23:49:12 +0000 (+0100)
Subject: Use default prefix directory when no task is specified
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=0308142fa4db2ddd23bda4dca038ae6016b2e1fd;p=SymbiYosys.git

Use default prefix directory when no task is specified
---

diff --git a/sbysrc/sby.py b/sbysrc/sby.py
index f3eca9b..e079ff6 100644
--- 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]