--- a/tests/tools/check_source.sh Wed Aug 08 13:26:48 2018 +0200
+++ b/tests/tools/check_source.sh Wed Aug 08 13:27:44 2018 +0200
@@ -316,7 +316,7 @@
- py_files=$(find . -name '*.py' -not -path '*/build/*')
+ py_files=$(find . -name '*.py' -not -path '*/build/*' -not -path './etherlab/*') if [ -e .hg/skiphook ]; then
echo "Skipping checks in the hook ..."