update target name

2025-09-07 17:44:49 -04:00
parent 787a4fce61
commit d5629128f1
2 changed files with 3 additions and 3 deletions
--- a/tools/Cleanup
+++ b/tools/Cleanup
@@ -16,6 +16,6 @@ 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'
+make distclean || fatal Could not run 'make dist-clean'

 echo done.