diff options
| author | Daniel Friesel <daniel.friesel@uos.de> | 2020-12-11 08:55:41 +0100 |
|---|---|---|
| committer | Daniel Friesel <daniel.friesel@uos.de> | 2020-12-11 08:55:41 +0100 |
| commit | 5a0322b9aff40b536183c610aaedcd9c4f3622de (patch) | |
| tree | 9bd691c0b8461e3d8dd08fd2d9f445bf974c67bf /bin | |
| parent | 60cacce5d0cf33a4a790ca230447cdab0bcb53d5 (diff) | |
generate-dfa-benchmark: include gpio.h
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 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: |