diff -r 86f61c4dfe76 -r 62eba810212e tests/tools/check_source.sh
--- 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 @@
 
 get_files_to_check()
 {
-    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 ..."
 	exit 0