From eddecfcc02ab11b05881e49673a8a8027ae640bf Mon Sep 17 00:00:00 2001 From: Daniel Friesel Date: Tue, 18 Aug 2020 15:50:46 +0200 Subject: generate-dfa-benchmark: only set run flags when set --- bin/generate-dfa-benchmark.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/bin/generate-dfa-benchmark.py b/bin/generate-dfa-benchmark.py index e6c3001..64f8f73 100755 --- a/bin/generate-dfa-benchmark.py +++ b/bin/generate-dfa-benchmark.py @@ -593,7 +593,8 @@ if __name__ == "__main__": if "codegen" in driver_definition and "flags" in driver_definition["codegen"]: if run_flags is None: run_flags = driver_definition["codegen"]["flags"] - run_flags.extend(opt["run"].split()) + if "run" in opt: + run_flags.extend(opt["run"].split()) runs = list( pta.dfs( -- cgit v1.2.3