tests/tools/check_source.sh
changeset 2251 62eba810212e
parent 2241 e762e234181d
child 2388 13acfd8d33e6
--- 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