From c87430e0992d19af12bfc6f6380a8431cbe6220f Mon Sep 17 00:00:00 2001
From: Jan Lindemann <jan@jannet.de>
Date: Wed, 27 May 2009 14:36:43 +0000
Subject: [PATCH] defs-dev.mk, defs-dist.mk, scripts-targets.mk: Add
 INSTALL_HOME_BIN_WRAPPERS

---
 make/defs-dev.mk        | 2 +-
 make/defs-dist.mk       | 2 +-
 make/scripts-targets.mk | 4 ++++
 3 files changed, 6 insertions(+), 2 deletions(-)

diff --git a/make/defs-dev.mk b/make/defs-dev.mk
index 19aa286b..45374fa6 100644
--- a/make/defs-dev.mk
+++ b/make/defs-dev.mk
@@ -202,4 +202,4 @@ USE_COMPILER_DEBUG_OPTS        ?= true
 #USE_GLIB                       ?= true
 #USE_ASSERTIONS                  ?= false
 BREAK_ABI                       ?= true
-
+#INSTALL_HOME_BIN_WRAPPERS       ?= true
diff --git a/make/defs-dist.mk b/make/defs-dist.mk
index 1d14ce50..02091d7f 100644
--- a/make/defs-dist.mk
+++ b/make/defs-dist.mk
@@ -203,4 +203,4 @@ USE_COMPILER_DEBUG_OPTS        ?= true
 #USE_GLIB                       ?= true
 USE_ASSERTIONS                  ?= false
 BREAK_ABI                       ?= false
-
+INSTALL_HOME_BIN_WRAPPERS       ?= false
diff --git a/make/scripts-targets.mk b/make/scripts-targets.mk
index ca9fbe73..d496599f 100644
--- a/make/scripts-targets.mk
+++ b/make/scripts-targets.mk
@@ -3,6 +3,10 @@ all: build_SCRIPT build_CGI
 install: install_INIT install_SCRIPT install_CGI
 clean:allclean localclean doneclean textclean clean.init
 
+ifeq ($(INSTALL_HOME_BIN_WRAPPERS),true)
+install: install-home-bin
+endif
+
 HOME_BIN_EXE_SH = $(addprefix $(HOME)/bin/, $(notdir $(EXE_SH)))
 $(HOME)/bin/%: %
 	echo -e "#!/bin/sh\n. $(shell pwd)/$<" '"$$@"' > $@.tmp