From 94051967ffc265f92bdc90533043e0675ee41f54 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Marc=20Andr=C3=A9=20Tanner?= <mat@brain-dump.org>
Date: Sun, 5 Oct 2014 08:38:02 +0200
Subject: [PATCH] Make strip utility configurable

---
 Makefile  | 2 +-
 config.mk | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 9f4dad7..3c24816 100644
--- a/Makefile
+++ b/Makefile
@@ -43,7 +43,7 @@ dist: clean
 
 install: abduco
 	@echo stripping executable
-	@strip -s abduco
+	@${STRIP} abduco
 	@echo installing executable file to ${DESTDIR}${PREFIX}/bin
 	@mkdir -p ${DESTDIR}${PREFIX}/bin
 	@cp -f abduco ${DESTDIR}${PREFIX}/bin
diff --git a/config.mk b/config.mk
index cbf448c..0a0bbfc 100644
--- a/config.mk
+++ b/config.mk
@@ -21,3 +21,4 @@ LDFLAGS += ${LIBS}
 DEBUG_CFLAGS = ${CFLAGS} -UNDEBUG -O0 -g -ggdb -Wall
 
 CC = cc
+STRIP = strip