diff options
author | Robert Ou <rqou@robertou.com> | 2017-07-16 20:52:58 -0700 |
---|---|---|
committer | Robert Ou <rqou@robertou.com> | 2017-07-16 20:59:55 -0700 |
commit | 4111f9cca58fb9fd9ed1858ac56524eff294ff11 (patch) | |
tree | 3c9f0778ce075be8dd589a87bddb0ce42e5d9566 /icetime | |
parent | 917afd1a853599034b101c9e035ee690560b46fa (diff) | |
download | icestorm-4111f9cca58fb9fd9ed1858ac56524eff294ff11.tar.gz icestorm-4111f9cca58fb9fd9ed1858ac56524eff294ff11.tar.bz2 icestorm-4111f9cca58fb9fd9ed1858ac56524eff294ff11.zip |
makefile: Make install target work for Windows
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: |