diff options
| author | Clifford Wolf <clifford@clifford.at> | 2017-07-31 14:57:24 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2017-07-31 14:57:24 +0200 |
| commit | 872e333cf75c6fc1bdf985f09565c70d16567434 (patch) | |
| tree | 11a7b2336faaf12e84d8890c1674c04b0c8093a6 /icetime | |
| parent | f704149b7298c7c6b56520d104dc4b20abf455b2 (diff) | |
| parent | 81e943e050dad652da795d21375bb700064116f4 (diff) | |
Merge branch 'master' into ice5k
Diffstat (limited to 'icetime')
| -rw-r--r-- | icetime/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/icetime/Makefile b/icetime/Makefile index f30a42a..5e959c7 100644 --- a/icetime/Makefile +++ b/icetime/Makefile @@ -19,10 +19,10 @@ timings.inc: timings.py ../icefuzz/timings_*.txt install: all mkdir -p $(DESTDIR)$(PREFIX)/bin - cp icetime $(DESTDIR)$(PREFIX)/bin/icetime + cp icetime$(EXE) $(DESTDIR)$(PREFIX)/bin/icetime$(EXE) uninstall: - rm -f $(DESTDIR)$(PREFIX)/bin/icetime + rm -f $(DESTDIR)$(PREFIX)/bin/icetime$(EXE) # View timing netlist: |