diff options
Diffstat (limited to 'icefuzz/fuzzconfig.py')
| -rw-r--r-- | icefuzz/fuzzconfig.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/icefuzz/fuzzconfig.py b/icefuzz/fuzzconfig.py index 1af5834..2e925ef 100644 --- a/icefuzz/fuzzconfig.py +++ b/icefuzz/fuzzconfig.py @@ -71,7 +71,7 @@ elif device_class == "5k": #TODO(tannewt): Add 39, 40, 41 to this list. It causes placement failures for some reason. gpins = "20 35 37 44".split() - + def output_makefile(working_dir, fuzzname): with open(working_dir + "/Makefile", "w") as f: print("all: %s" % " ".join(["%s_%02d.bin" % (fuzzname, i) for i in range(num)]), file=f) |