changeset 722 | 37968404e9b9 |
parent 276 | 835178a32fc1 |
child 806 | b5734a8508f1 |
1.1 --- a/tools/extract-config.sh Tue Jul 17 21:44:33 2007 +0000 1.2 +++ b/tools/extract-config.sh Fri Jul 25 14:08:03 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.