diff options
Diffstat (limited to 'icetime')
| -rw-r--r-- | icetime/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/icetime/Makefile b/icetime/Makefile index 33231ca..f95738a 100644 --- a/icetime/Makefile +++ b/icetime/Makefile @@ -34,6 +34,8 @@ $(PROGRAM_PREFIX)icetime$(EXE): icetime.o iceutil.o $(addsuffix .o, $(addprefix timings-%.cc: timings.py ../icefuzz/timings_%.txt python3 timings.py $* > $@ +.PRECIOUS: timings-%.cc + install: all mkdir -p $(DESTDIR)$(PREFIX)/bin mkdir -p $(DESTDIR)$(PREFIX)/share/$(PROGRAM_PREFIX)icebox |