blob: 2ac0ec220d9e9bfc471716fcec16e2f7b66c61ba (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
etc/platform.sh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/etc/platform.sh b/etc/platform.sh
index ff0ab51..1b56ab1 100755
--- a/etc/platform.sh
+++ b/etc/platform.sh
@@ -60,7 +60,7 @@ case `uname -s` in
# Check if it is a Linux platform
Linux)
# Check if it is GCC version 4.x
- gcc_ver=`gcc --version | grep -e " 4\."`
+ gcc_ver=`gcc --version | grep -e " [456]\."`
if [[ -z $gcc_ver ]]
then
# It is not GCC version 4.x. Check if it is GCC version 3.x
|
