save

2025-08-29 16:26:36 -04:00
parent 266c5232e9
commit 13b15cb07f
10 changed files with 166 additions and 550 deletions
--- a/tools/Cleanup
+++ b/tools/Cleanup
@@ -15,6 +15,7 @@ fi

 sh ./tools/format || fatal Could not run './tools/format'
 rm -rf .cache || fatal Could not run 'rm -rf .cache'
+rm -f compile_commands.json || fatal Could not run 'rm -f compile_commands.json'
 make dist-clean || fatal Could not run 'make dist-clean'

 echo done.