diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/generate-dfa-benchmark.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bin/generate-dfa-benchmark.py b/bin/generate-dfa-benchmark.py index 50f5e58..3e3454e 100755 --- a/bin/generate-dfa-benchmark.py +++ b/bin/generate-dfa-benchmark.py @@ -522,6 +522,7 @@ if __name__ == "__main__": sys.exit(2) if "msp430fr" in opt["arch"]: + # target = runner.Arch(opt["arch"], ["cpu_freq=8000000", "with_hfxt=1"]) target = runner.Arch(opt["arch"], ["cpu_freq=8000000"]) else: target = runner.Arch(opt["arch"]) |