diff options
Diffstat (limited to 'icetime')
-rw-r--r-- | icetime/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/icetime/Makefile b/icetime/Makefile index 7d0ca32..4834709 100644 --- a/icetime/Makefile +++ b/icetime/Makefile @@ -32,7 +32,7 @@ $(PROGRAM_PREFIX)icetime$(EXE): icetime.o iceutil.o $(addsuffix .o, $(addprefix $(CXX) -o $@ $(LDFLAGS) $^ $(LDLIBS) timings-%.cc: timings.py ../icefuzz/timings_%.txt - python3 timings.py $* > $@ + $(PYTHON) timings.py $* > $@ .PRECIOUS: timings-%.cc |