diff -r 835178a32fc1 -r 15fdb2eb2db3 tools/extract-config.sh
--- a/tools/extract-config.sh	Tue Jul 17 21:44:33 2007 +0000
+++ b/tools/extract-config.sh	Sun Apr 20 16:46:17 2008 +0000
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 # This scripts extracts a crosstool-NG configuration from the log file
 # of a toolchain build with crosstool-NG.