diff options
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 $@ |