CheckPush: run basecheck as well as onemerge

2026-07-19 20:43:36 -07:00 · 2026-07-19 20:43:36 -07:00 · 202efe2a33
parent 87b88b82c0
commit 202efe2a33
1 changed files with 2 additions and 1 deletions
--- a/3
+++ b/3
@ -83,4 +83,5 @@ then
 	fi
 fi

-exec sh "$(dirname $0)/onemerge.sh"
+sh "$(dirname $0)/onemerge.sh"
+sh "$(dirname $0)/basecheck.sh"