aboutsummaryrefslogtreecommitdiffstats
path: root/icetime
diff options
context:
space:
mode:
authorMiodrag Milanovic <mmicko@gmail.com>2020-07-08 19:28:18 +0200
committerMiodrag Milanovic <mmicko@gmail.com>2020-07-08 19:28:18 +0200
commit4b54d341de8564487ca2dd8f0161024fc98ade72 (patch)
tree5e9c59355d7aa38c9f332d0802d264a0d126e4ad /icetime
parent59ace924366312e058c46cfb75685de440bb62ad (diff)
downloadicestorm-4b54d341de8564487ca2dd8f0161024fc98ade72.tar.gz
icestorm-4b54d341de8564487ca2dd8f0161024fc98ade72.tar.bz2
icestorm-4b54d341de8564487ca2dd8f0161024fc98ade72.zip
Prevent rebuilding timing files
Diffstat (limited to 'icetime')
-rw-r--r--icetime/Makefile2
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