diff --git a/CMakeLists.txt b/CMakeLists.txt
index b4d1d3a9d8a287361012862d335830e21f5895a4..24f6b03a09eff41cb2d9fc4bf431d0698bf65f1d 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -1337,9 +1337,6 @@ message(STATUS " * Build options:" ${GMSH_CONFIG_OPTIONS})
 message(STATUS " * Build type: " ${CMAKE_BUILD_TYPE})
 message(STATUS " * C compiler: " ${CMAKE_C_COMPILER})
 message(STATUS " * C++ compiler: " ${CMAKE_CXX_COMPILER})
-if(HAVE_PETSC AND ENV_PETSC_ARCH)
-  message(STATUS " * PETSc arch: " ${ENV_PETSC_ARCH})
-endif(HAVE_PETSC AND ENV_PETSC_ARCH)
 message(STATUS " * Install prefix: " ${CMAKE_INSTALL_PREFIX})
 message(STATUS "")
 message(STATUS "Run 'ccmake ${CMAKE_CURRENT_SOURCE_DIR}' to fine-tune the configuration.")