1.1 --- a/tools/extract-config.sh	Tue Jul 17 21:44:33 2007 +0000
     1.2 +++ b/tools/extract-config.sh	Tue Aug 05 13:27:09 2008 +0000
     1.3 @@ -1,4 +1,4 @@
     1.4 -#!/bin/sh
     1.5 +#!/bin/bash
     1.6  
     1.7  # This scripts extracts a crosstool-NG configuration from the log file
     1.8  # of a toolchain build with crosstool-NG.