diff options
Diffstat (limited to 'icetime/Makefile')
| -rw-r--r-- | icetime/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/icetime/Makefile b/icetime/Makefile index 38e2fe6..acf5b8f 100644 --- a/icetime/Makefile +++ b/icetime/Makefile @@ -32,7 +32,7 @@ icetime$(EXE): icetime.o iceutil.o $(addsuffix .o, $(addprefix timings-, $(CHIPS $(CXX) -o $@ $(LDFLAGS) $^ $(LDLIBS) timings-%.cc: timings.py ../icefuzz/timings_%.txt - python3 timings.py $* > $@ + $(PYTHON) timings.py $* > $@ install: all mkdir -p $(DESTDIR)$(PREFIX)/bin |