diff options
author | Jonas Gunz <himself@jonasgunz.de> | 2020-07-07 11:33:18 +0200 |
---|---|---|
committer | Jonas Gunz <himself@jonasgunz.de> | 2020-07-07 11:33:18 +0200 |
commit | 5eefa5199f7784e18b4f760046829c64d07e13b9 (patch) | |
tree | 08d8199377c1e4cf2127d03b52bdd30cc56aeef4 | |
parent | 511c4d3abd072fd71b21f558aaa1c6ec68ca3a46 (diff) | |
download | AsciiMap-5eefa5199f7784e18b4f760046829c64d07e13b9.tar.gz |
Makefile: added strip to install
-rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -42,4 +42,5 @@ run: build $(BUILDDIR)/$(OUTPUT) $(FILE) install: build + @strip $(BUILDDIR)/$(OUTPUT) @cp $(BUILDDIR)/$(OUTPUT) $(PREFIX)/bin/$(OUTPUT) |