diff options
| -rw-r--r-- | scripts/gcc-version.sh | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/scripts/gcc-version.sh b/scripts/gcc-version.sh index a5121a6d894..cc767b388ba 100644 --- a/scripts/gcc-version.sh +++ b/scripts/gcc-version.sh @@ -9,7 +9,10 @@ # 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="$*" |