From 135b400592119b453cc3f99881599fef1297a589 Mon Sep 17 00:00:00 2001
From: Gwenhael Le Moine <glemoine@erasme.org>
Date: Wed, 20 Aug 2014 15:26:11 +0200
Subject: [PATCH] missing space before ]

---
 build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.sh b/build.sh
index 0f0aa57..6fd1a16 100755
--- a/build.sh
+++ b/build.sh
@@ -519,7 +519,7 @@ if [ "$COMPILE_BINARIES" = "true" ]; then
     clean_sources
     compile
 else
-    if [ "$DOWNLOAD_BINARIES" = "true"]; then
+    if [ "$DOWNLOAD_BINARIES" = "true" ]; then
 	download_and_install_binaries
     fi
 fi