1 files changed, 1 insertions, 0 deletions

diff --git a/env.bash b/env.bash
index a48e567da..847527f3d 100755
--- a/env.bash
+++ b/env.bash
@@ -80,3 +80,4 @@ if [ -e $TOOLSDIR/setupgithooks.sh ]; then
     $TOOLSDIR/setupgithooks.sh
 fi
 fi
+