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 a5121a6d8949..cc767b388baf 100644 --- a/scripts/gcc-version.sh +++ b/scripts/gcc-version.sh | |||
@@ -9,7 +9,10 @@ | |||
9 | # gcc-2.95.3, `030301' for gcc-3.3.1, etc. | 9 | # gcc-2.95.3, `030301' for gcc-3.3.1, etc. |
10 | # | 10 | # |
11 | 11 | ||
12 | if [[ $1 = "-p" ]] ; then with_patchlevel=1; shift; fi | 12 | if [ "$1" = "-p" ] ; then |
13 | with_patchlevel=1; | ||
14 | shift; | ||
15 | fi | ||
13 | 16 | ||
14 | compiler="$*" | 17 | compiler="$*" |
15 | 18 | ||