diff Makefile @ 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 10e62d2adbb7
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))