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