changeset 184:5823fd0f68e6

add 'SHELL=bash' hints where necessary, so it works on systems where /bin/sh isn't a Bash
author Volker Grabsch <vog@notjusthosting.com>
date Mon, 10 Nov 2008 09:07:29 +0100
parents a07e0f23f93d
children 964c940fc735
files Makefile src/gettext.mk
diffstat 2 files changed, 2 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/Makefile	Mon Nov 10 06:39:41 2008 +0100
+++ b/Makefile	Mon Nov 10 09:07:29 2008 +0100
@@ -10,6 +10,7 @@
 PKG_DIR := $(PWD)/pkg
 TMP_DIR  = $(PWD)/tmp-$(1)
 PATH    := $(PREFIX)/bin:$(PATH)
+SHELL   := bash
 SED     := $(shell gsed --version >/dev/null 2>&1 && echo g)sed
 
 PKG_RULES := $(patsubst src/%.mk,%,$(wildcard src/*.mk))
--- a/src/gettext.mk	Mon Nov 10 06:39:41 2008 +0100
+++ b/src/gettext.mk	Mon Nov 10 09:07:29 2008 +0100
@@ -21,5 +21,5 @@
         --disable-shared \
         --prefix='$(PREFIX)/$(TARGET)' \
         --enable-threads=win32
-    $(MAKE) -C '$(1)/intl' -j '$(JOBS)' install
+    $(MAKE) -C '$(1)/intl' -j '$(JOBS)' SHELL=bash install
 endef