Disable a workaround for icc-13* and aggressive optimization.

The bug is not reproducable any more.

git-svn-id: https://svn.dealii.org/trunk@31536 0785d39b-7218-0410-832d-ea1e28bc413d

diff --git a/deal.II/cmake/setup_compiler_flags_intel.cmake b/deal.II/cmake/setup_compiler_flags_intel.cmake
index 44a3188c7e755eb880cc7a3d6443fb11b3b5d3b7..d29abc6537e85819ca06a15691bf9b1a5c705c28 100644 (file)
--- a/deal.II/cmake/setup_compiler_flags_intel.cmake
+++ b/deal.II/cmake/setup_compiler_flags_intel.cmake
@@ -127,17 +127,7 @@ IF (CMAKE_BUILD_TYPE MATCHES "Release")
   # General optimization flags:
   #
 
-  IF(CMAKE_CXX_COMPILER_VERSION MATCHES "^13\\.")
-    #
-    # Disable aggressive optimization for intel-13* compilers, until we
-    # resolve a lot of funny miscompilations...
-    #
-    # - Maier, 2013
-    #
-    ADD_FLAGS(DEAL_II_CXX_FLAGS_RELEASE "-O1")
-  ELSE()
-    ADD_FLAGS(DEAL_II_CXX_FLAGS_RELEASE "-O2")
-  ENDIF()
+  ADD_FLAGS(DEAL_II_CXX_FLAGS_RELEASE "-O2")
 
   # equivalent to -fno-strict-aliasing:
   ENABLE_IF_SUPPORTED(DEAL_II_CXX_FLAGS_RELEASE "-no-ansi-alias")