From: Matthias Maier Date: Mon, 3 Jul 2023 23:38:53 +0000 (+0000) Subject: Merge pull request #15617 from tamiko/fix_cmake_caching_02 X-Git-Tag: relicensing~773 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c4f9d5275265d6f7fd8be8a3c4f761709aa5e403;p=dealii.git Merge pull request #15617 from tamiko/fix_cmake_caching_02 CMake: avoid updating deal.II{Config,Targets}.cmake when nothing changed --- c4f9d5275265d6f7fd8be8a3c4f761709aa5e403