From 45f007fa9faa6579a532ad0be663604044e2e801 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Wed, 31 Oct 2012 23:07:58 +0100
Subject: [PATCH] Shell brace expansion is non-POSIX

Preparation of base-pistachio fails on Ubuntu with dash as /bin/sh as it
does not support non-POSIX features like brace expansion. In this case
expanding in the Makefile via $(addprefix ...) fixes this shortcoming.
---
 base-pistachio/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/base-pistachio/Makefile b/base-pistachio/Makefile
index 3fdc1cfd9e..4cd64c18ba 100644
--- a/base-pistachio/Makefile
+++ b/base-pistachio/Makefile
@@ -26,7 +26,7 @@ $(call check_tool,autoconf)
 #
 # Determine python version to use for CML2
 #
-PYTHON2 := $(notdir $(lastword $(shell which python2 python2.{4,5,6,7,8})))
+PYTHON2 := $(notdir $(lastword $(shell which python2 $(addprefix python2.,4 5 6 7 8))))
 ifeq ($(PYTHON2),)
 prepare: python_not_installed
 python_not_installed: