From c9533d9c24d339060b458fa3c22ac3e72d8566cf Mon Sep 17 00:00:00 2001 From: Wolfgang Bangerth Date: Tue, 28 Jan 2025 22:05:04 -0700 Subject: [PATCH] Fix a file name. --- source/CMakeLists.txt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/source/CMakeLists.txt b/source/CMakeLists.txt index 502e7e921d..b5e6afc060 100644 --- a/source/CMakeLists.txt +++ b/source/CMakeLists.txt @@ -46,8 +46,8 @@ set(CMAKE_INCLUDE_CURRENT_DIR true) # compile jobs come first so that 'make -j N' saturates many processors also # towards the end of compiling rather than having to wait for one long # compilation that, because it has been listed last, is started towards the -# end of everything (e.g. numerics/vectors.cc takes several minutes to -# compile...) +# end of everything (e.g. some of the numerics/vector_tools_*.cc files can +# take quite a long time to compile). # add_subdirectory(numerics) add_subdirectory(fe) -- 2.39.5