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