diff --git a/CheckPush b/CheckPush
index 59c829f4a2..6030114ae3 100755
--- 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"