1 files changed, 0 insertions, 1 deletions
diff --git a/TOOLS/build.sh b/TOOLS/build.sh
index d15c278..5e9a774 100755
--- a/TOOLS/build.sh
+++ b/TOOLS/build.sh
@@ -1,5 +1,4 @@
 #/bin/env bash
-
 set -eux
 
 # make sure we check our own directories