# 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