diff --git a/build.sh b/build.sh
index 0ede8af1c5f3fc5ec0a51e4c4be4574863b7e77a..b5876738e67aa83a0963f1a58c3a03d7aae3e54d 100755
--- a/build.sh
+++ b/build.sh
@@ -15,7 +15,6 @@
 # * The basic convention is that the build name can be mapped onto a mercurial URL,
 #   which is also used as the "branch" name.
 
-
 check_for()
 {
     if [ -e "$2" ]; then found_dict='FOUND'; else found_dict='MISSING'; fi