diff --git a/Maintenance/infrastructure/cgal.geometryfactory.com/.autocgal_with_cmake_rc b/Maintenance/infrastructure/cgal.geometryfactory.com/.autocgal_with_cmake_rc index d9cfa8323c1..e8eb8d2a688 100644 --- a/Maintenance/infrastructure/cgal.geometryfactory.com/.autocgal_with_cmake_rc +++ b/Maintenance/infrastructure/cgal.geometryfactory.com/.autocgal_with_cmake_rc @@ -16,7 +16,7 @@ COMPILERS_localhost="$COMPILERS_localhost i686_Linux-2.6_g++-4.1.2_CentOS-5.1-O3 #COMPILERS_localhost="$COMPILERS_localhost i686_Linux-2.6_g++-4.3.3_CentOS-5.1-O2-NO-DEPRECATED" #COMPILERS_localhost="$COMPILERS_localhost i686_Linux-2.6_g++-4.3.3_CentOS-5.1-O3" # Ignored: i686_Linux-2.6_g++-4.1.2_CentOS-5.1-NOGMP - +COMPILERS_localhost="$COMPILERS_localhost x86_64_Linux-x.y_IntelCompiler-15.0_CentOS-7.x" # ignore COMPILERS_localhost and use all ref platformes: USE_REFERENCE_PLATFORMS=yes