diff --git a/buildconfig/Jenkins/buildscript b/buildconfig/Jenkins/buildscript index 2e53db7ad74e418c1834e7615d6fce1833c1e1f5..8896521dd3a5be4614b3c86c49c03099510aac6c 100755 --- a/buildconfig/Jenkins/buildscript +++ b/buildconfig/Jenkins/buildscript @@ -14,7 +14,7 @@ SCRIPT_DIR=$(dirname "$0") ############################################################################### # System discovery ############################################################################### -if [[ ${NODE_LABELS} == *rhel7* ]] || [[ ${NODE_LABELS} == *centos7* ]]; then +if [[ ${NODE_LABELS} == *rhel7* ]] || [[ ${NODE_LABELS} == *centos7* ]] || [[ ${NODE_LABELS} == *scilin7* ]]; then ON_RHEL7=true fi if [[ ${NODE_LABELS} == *ubuntu* ]]; then