Index: tools/toolchain.sh
===================================================================
--- tools/toolchain.sh	(revision 3fe57ea764b506fd09a0f43fff81a9cc4c360172)
+++ tools/toolchain.sh	(revision 1fa010cf522cf2c3d4f24c98f452e974d5698128)
@@ -1,3 +1,3 @@
-#! /bin/sh
+#! /bin/bash
 
 #