tests/tools/check_source.sh
changeset 2241 e762e234181d
parent 2184 bbd2364fbf71
child 2251 62eba810212e
--- a/tests/tools/check_source.sh	Fri Jun 29 17:53:57 2018 +0300
+++ b/tests/tools/check_source.sh	Tue Jul 03 17:09:11 2018 +0300
@@ -317,6 +317,10 @@
 get_files_to_check()
 {
     py_files=$(find . -name '*.py' -not -path '*/build/*')
+    if [ -e .hg/skiphook ]; then
+	echo "Skipping checks in the hook ..."
+	exit 0
+    fi
     if [ "$1" = "--only-changes" ]; then
         if which hg > /dev/null; then
             if [ ! -z "$HG_NODE" ]; then