From: Marc Fehling <mafehling.git@gmail.com>
Date: Mon, 6 May 2024 12:19:55 +0000 (+0200)
Subject: autopilot distclean: also remove `compile_commands.json`.
X-Git-Tag: v9.6.0-rc1~314^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e280715a75308d2e31a45b97dbd0727e61698cbc;p=dealii.git

autopilot distclean: also remove `compile_commands.json`.
---

diff --git a/cmake/macros/macro_deal_ii_invoke_autopilot.cmake b/cmake/macros/macro_deal_ii_invoke_autopilot.cmake
index b61ea92f5e..88d7f897c1 100644
--- a/cmake/macros/macro_deal_ii_invoke_autopilot.cmake
+++ b/cmake/macros/macro_deal_ii_invoke_autopilot.cmake
@@ -210,7 +210,7 @@ macro(deal_ii_invoke_autopilot)
     COMMAND ${CMAKE_COMMAND} --build ${CMAKE_BINARY_DIR} --target runclean
     COMMAND ${CMAKE_COMMAND} -E remove_directory CMakeFiles
     COMMAND ${CMAKE_COMMAND} -E remove
-      CMakeCache.txt cmake_install.cmake Makefile
+      CMakeCache.txt cmake_install.cmake compile_commands.json Makefile
       build.ninja rules.ninja .ninja_deps .ninja_log
     COMMENT "distclean invoked"
     )