diff options
-rwxr-xr-x | build_files/build_environment/install_deps.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build_files/build_environment/install_deps.sh b/build_files/build_environment/install_deps.sh index eecbe0812cc..ab8c2254251 100755 --- a/build_files/build_environment/install_deps.sh +++ b/build_files/build_environment/install_deps.sh @@ -3454,7 +3454,7 @@ install_RPM() { $SUDO dnf -y update elif [ "$RPM" = "RHEL" ]; then - if [ "`grep '6\.' /etc/redhat-release`" ]; then + if [ "`grep '[^.]6\.' /etc/redhat-release`" ]; then ERROR "Building with GCC 4.4 is not supported!" exit 1 else |