diff --git a/build.sh b/build.sh index b5876738e67aa83a0963f1a58c3a03d7aae3e54d..0ede8af1c5f3fc5ec0a51e4c4be4574863b7e77a 100755 --- a/build.sh +++ b/build.sh @@ -15,6 +15,7 @@ # * 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