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