summaryrefslogtreecommitdiff
path: root/build.sh
diff options
context:
space:
mode:
Diffstat (limited to 'build.sh')
-rwxr-xr-xbuild.sh1
1 files changed, 0 insertions, 1 deletions
diff --git a/build.sh b/build.sh
index 0ede8af1c5..b5876738e6 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