Meta/Doit: vastly simplify

diff --git a/Doit b/Doit
index 79c6114087a4da822fad721abeb1109b314ff28f..023877b77d37e0b39c8b5c66d5245b9abfdd5bc9 100755 (executable)
--- a/Doit
+++ b/Doit
@@ -1,7 +1,5 @@
 #!/bin/sh
 
-Meta/Dothem -j32 "$@" --noinstall -- CC=clang SANITIZE=leak
-# Meta/Dothem -j32 "$@" --noinstall -- CC=clang SANITIZE=address
-Meta/Dothem -j32 "$@" -- CC=clang
+Meta/Dothem --cocci --breaking --san --leaks --sha256 "$@"
 
 Meta/V