summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorJunio C Hamano <gitster@pobox.com>2023-03-07 13:46:36 -0800
committerJunio C Hamano <gitster@pobox.com>2023-03-07 13:46:36 -0800
commit3452d82fc25ae4be5fef6f2be59b5420e5ae4efc (patch)
treeb1792f58208b341cd164a12c6c78d8b7b26b7303
parentdb2ba41c72091c3935de9a9e9057644d9a61dec0 (diff)
downloadgit-3452d82fc25ae4be5fef6f2be59b5420e5ae4efc.tar.gz
Meta/Dothem: remove regex.o after running sparse
-rwxr-xr-xDothem2
1 files changed, 1 insertions, 1 deletions
diff --git a/Dothem b/Dothem
index 5a24c80160..931af07d9c 100755
--- a/Dothem
+++ b/Dothem
@@ -231,7 +231,7 @@ do
Meta/Make $M $jobs -- NO_REGEX=NoThanks \
SPARSE_FLAGS=-Wsparse-error sparse &&
-
+ rm -f compat/regex/regex.o &&
Meta/Make $M $jobs -- hdr-check &&
case "$dotest,$san" in