CheckPush: run basecheck as well as onemerge

diff --git a/CheckPush b/CheckPush
index 59c829f4a2d6b83cd6dbbc200f9f7bd7f291f683..6030114ae3c52325ac5b59c446c9fa700f9024a0 100755 (executable)
--- a/CheckPush
+++ b/CheckPush
@@ -83,4 +83,5 @@ then
        fi
 fi
 
-exec sh "$(dirname $0)/onemerge.sh"
+sh "$(dirname $0)/onemerge.sh"
+sh "$(dirname $0)/basecheck.sh"