From: Wolfgang Bangerth Date: Wed, 29 Jan 2025 05:05:04 +0000 (-0700) Subject: Fix a file name. X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c9533d9c24d339060b458fa3c22ac3e72d8566cf;p=dealii.git Fix a file name. --- 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)