Make label a bit more accurate.

diff --git a/bootstrap.sh b/bootstrap.sh
index 9a549f06cc9994fc41944291ed956778dbc38bbc..606d63d660ad01574b207c4d6729ed203f87d08c 100755 (executable)
--- a/bootstrap.sh
+++ b/bootstrap.sh
@@ -1714,10 +1714,10 @@ function main ()
   # We don't want Jenkins overriding other variables, so we NULL them.
   if [ -z "$MAKE_TARGET" ]; then
     if $jenkins_build_environment; then
-      if [[ -n "$label" ]]; then
-        check_make_target $label
+      if [[ -n "$LABEL" ]]; then
+        check_make_target $LABEL
         if [ $? -eq 0 ]; then
-          MAKE_TARGET="$label"
+          MAKE_TARGET="$LABEL"
         fi
       fi