diff options
| author |  Tom Willemsen | 2013-01-06 15:59:16 +0100 |
|---|---|---|
| committer | Tom Willemsen | 2013-01-06 15:59:16 +0100 |
| commit | e0cb22485481351242dff65ab0cce9a7b6fc3400 (patch) | |
| tree | 0bc33fb4afe9fd6dbdc80084b4b59634243bc4a4 /src | |
| parent | 4fde21d9913a63e8f057543aefa5b4125d74bd85 (diff) | |
| download | markam-e0cb22485481351242dff65ab0cce9a7b6fc3400.tar.gz markam-e0cb22485481351242dff65ab0cce9a7b6fc3400.zip | |
Add install-strip target
Diffstat (limited to 'src')
| -rw-r--r-- | src/Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/Makefile b/src/Makefile index a7d2415..4bc49b4 100644 --- a/src/Makefile +++ b/src/Makefile @@ -6,11 +6,14 @@ install-binaries = $(addprefix install-,$(binaries)) uninstall-binaries = $(addprefix uninstall-,$(binaries)) objects = paths.o common.o -.PHONY: all install $(install-binaries) uninstall $(uninstall-binaries) +.PHONY: all install $(install-binaries) uninstall $(uninstall-binaries) \ + install-strip all: $(binaries) install: $(install-binaries) uninstall: $(uninstall-binaries) +install-strip: + $(MAKE) INSTALL_PROGRAM='$(INSTALL_PROGRAM) -s' install markam: markam.scm $(objects) $(CSC) $^ -o $@ |