diff --git a/.lintignore b/.lintignore
new file mode 100644
index 00000000..3403a0d1
--- /dev/null
+++ b/.lintignore
@@ -0,0 +1,8 @@
+# IMPORTANT: Please only use GLOBs to ignore files and directories.
+
+# Do not lint any bash script in Weave Net, in order to 
+# avoid breaking the build on make lint:
+*.sh
+bin/*
+prog/weaveexec/symlink
+weave
diff --git a/tools b/tools
index 48beb60b..a59884f3 160000
--- a/tools
+++ b/tools
@@ -1 +1 @@
-Subproject commit 48beb60bbebb6511b8c41fb339f48dc97505966e
+Subproject commit a59884f322173264bc088549899cad51a51d0a87