diff options
Diffstat (limited to 'bin/generate-dfa-benchmark.py')
| -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 958a30c..6d03a0f 100755 --- a/bin/generate-dfa-benchmark.py +++ b/bin/generate-dfa-benchmark.py @@ -114,6 +114,7 @@ def benchmark_from_runs( outbuf = io.StringIO() outbuf.write('#include "arch.h"\n') + outbuf.write('#include "driver/gpio.h"\n') if dummy: outbuf.write('#include "driver/dummy.h"\n') elif "includes" in pta.codegen: |