correction

Signed-off-by: Mohammed Ismail <mohammed.ismail@eurecom.fr>

build/scripts/build_helper

@@ -25,7 +25,7 @@
 #
 #######################################
 #SUPPORTED_DISTRO="Ubuntu 18.04, CentOS 7, RHEL 7"
-SUPPORTED_DISTRO="Ubuntu 18.04 RHEL"
+SUPPORTED_DISTRO="Ubuntu 18.04, RHEL8"
 if [ ! -f /etc/os-release ]; then
   echo_fatal "No /etc/os-release file found. You're likely on an unsupported distro."
 fi