diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/firmware/etherboot/find-gcc-3 | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/tools/firmware/etherboot/find-gcc-3 b/tools/firmware/etherboot/find-gcc-3 deleted file mode 100755 index 253f6455ed..0000000000 --- a/tools/firmware/etherboot/find-gcc-3 +++ /dev/null @@ -1,10 +0,0 @@ -#!/bin/sh -set -e -for gcc in gcc-3.4 gcc34 gcc-3.3 gcc33 gcc-3.2 gcc32; do - if type -p $gcc >&2; then - echo "CC=$gcc"; exit 0 - fi -done - -echo >&2 'We need GCC 3 for Etherboot.' -false |