From: piegames Date: Mon, 21 Jun 2021 20:32:29 +0000 (+0200) Subject: Allow to set a working directory even when having multiple tasks X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=1f6700f21d012d7b5bffd6eafe43969bc21ce4fc;p=SymbiYosys.git Allow to set a working directory even when having multiple tasks Fixes #125. --- diff --git a/sbysrc/sby.py b/sbysrc/sby.py index ceacdf1..707d894 100644 --- a/sbysrc/sby.py +++ b/sbysrc/sby.py @@ -33,7 +33,7 @@ parser = argparse.ArgumentParser(prog="sby", parser.set_defaults(exe_paths=dict()) parser.add_argument("-d", metavar="", dest="workdir", - help="set workdir name. default: or _") + help="set workdir name prefix. default: . `_` will be appended to the path for each task") parser.add_argument("-f", action="store_true", dest="force", help="remove workdir if it already exists") parser.add_argument("-b", action="store_true", dest="backup", @@ -323,14 +323,12 @@ if dump_tasks: print(task) sys.exit(0) -if (workdir is not None) and (len(tasknames) != 1): - print("ERROR: Exactly one task is required when workdir is specified.", file=sys.stderr) - sys.exit(1) - def run_job(taskname): my_workdir = workdir my_opt_tmpdir = opt_tmpdir + if my_workdir is not None and len(taskname) > 1: + my_workdir += "_" + taskname if my_workdir is None and sbyfile is not None and not my_opt_tmpdir: my_workdir = sbyfile[:-4] if taskname is not None: