Docker-in-Docker (DinD) capabilities of public runners deactivated. More info

Commit 8ca6796c authored by Carine Rey's avatar Carine Rey
Browse files

rm bistro incompatible behavior

parent b1ac3c14
......@@ -48,7 +48,7 @@ args = docopt(__doc__)
chainname = args["<chainname>"]
MESSAGE("Chain name is " + param(chainname))
out = args["--output-file"]
out = out[0] if out!=["<chainname>.out"] else chainname+".out"
out = out[0] if out else chainname+".out"
MESSAGE("Output file is " + param(out))
rdexec = args["--readdiffsel-location"][0]
MESSAGE("Readdiffsel is here: "+param(rdexec))
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment