diff options
-rwxr-xr-x | build.sh | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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 |