diff options
| -rw-r--r-- | scripts/gcc-version.sh | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/scripts/gcc-version.sh b/scripts/gcc-version.sh index 8a1d1879c7a..a5121a6d894 100644 --- a/scripts/gcc-version.sh +++ b/scripts/gcc-version.sh @@ -9,10 +9,16 @@ # gcc-2.95.3, `030301' for gcc-3.3.1, etc. # -if [ $1 = "-p" ] ; then with_patchlevel=1; shift; fi +if [[ $1 = "-p" ]] ; then with_patchlevel=1; shift; fi compiler="$*" +if [ ${#compiler} -eq 0 ]; then + echo "Error: No compiler specified." + echo -e "Usage:\n\t$0 <gcc-command>" + exit 1 +fi + MAJOR=$(echo __GNUC__ | $compiler -E -xc - | tail -n 1) MINOR=$(echo __GNUC_MINOR__ | $compiler -E -xc - | tail -n 1) if [ "x$with_patchlevel" != "x" ] ; then |