diff --git a/buildconfig/Jenkins/buildscript b/buildconfig/Jenkins/buildscript index 099c4c4e49f626a98317fc7100235a8b2a071d35..d62d71639709e062a993c2c157a30075207b5426 100755 --- a/buildconfig/Jenkins/buildscript +++ b/buildconfig/Jenkins/buildscript @@ -123,9 +123,9 @@ fi ############################################################################### # RHEL6 setup steps - nodes must have a "rhel6" label set (in lowercase) ############################################################################### +DIST_FLAGS="-DSTATIC_LIBSTDCXX=OFF" if [[ ${NODE_LABELS} == *rhel6* ]]; then SCL_ON_RHEL6="scl enable mantidlibs34 devtoolset-2" - DIST_FLAGS="-DSTATIC_LIBSTDCXX=ON" ON_RHEL6=true else SCL_ON_RHEL6="eval"