diff options
| -rwxr-xr-x | update_external_sources.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/update_external_sources.sh b/update_external_sources.sh index f285763f..4434eb7f 100755 --- a/update_external_sources.sh +++ b/update_external_sources.sh @@ -111,7 +111,7 @@ if [ ! -d "$BASEDIR/BIL" ]; then create_BIL fi -if [ ! -d "$BASEDIR/BIL" -o ! -f "$BASEDIR/BIL/Bil.h"]; then +if [ ! -d "$BASEDIR/BIL" -o ! -f "$BASEDIR/BIL/Bil.h" ]; then echo "Missing BIL, is your Khronos account correct?" exit 1 fi |