404
404
# Arguments for configure
405
405
local BUILD_CONFIGURE_ARG=''
407
if $jenkins_build_environment; then
408
BUILD_CONFIGURE_ARG="--disable-silent-rules "
411
407
# If debug is set we enable both debug and asssert, otherwise we see if this is a VCS checkout and if so enable assert
412
408
# Set ENV ASSERT in order to enable assert.
413
409
# If we are doing a valgrind run, we always compile with assert disabled
1390
1386
echo "MAKE=$MAKE"
1393
if [[ -n "$MAKE_TARGET" ]]; then
1394
echo "MAKE_TARGET=$MAKE_TARGET"
1389
if [[ -n "$BOOTSTRAP_TARGET" ]]; then
1390
echo "BOOTSTRAP_TARGET=$BOOTSTRAP_TARGET"
1397
1393
if [[ -n "$PREFIX" ]]; then
1551
1547
make_maintainer_clean
1554
local MAKE_TARGET_ARRAY
1555
MAKE_TARGET_ARRAY=( $MAKE_TARGET )
1550
local BOOTSTRAP_TARGET_ARRAY
1551
BOOTSTRAP_TARGET_ARRAY=( $BOOTSTRAP_TARGET )
1557
for target in "${MAKE_TARGET_ARRAY[@]}"
1553
for target in "${BOOTSTRAP_TARGET_ARRAY[@]}"
1559
1555
# If we are running inside of Jenkins, we want to only run some of the possible tests
1560
1556
if $jenkins_build_environment; then
1561
1557
check_make_target $target
1563
1559
if [ $ret -ne 0 ]; then
1564
die "Unknown MAKE_TARGET option: $target"
1560
die "Unknown BOOTSTRAP_TARGET option: $target"
1730
1726
local OPT_TARGET=
1731
1727
parse_command_line_options "$@"
1729
nassert BOOTSTRAP_TARGET
1735
1731
if [ -n "$OPT_TARGET" ]; then
1736
MAKE_TARGET="$OPT_TARGET"
1732
BOOTSTRAP_TARGET="$OPT_TARGET"
1739
1735
# If we are running under Jenkins we predetermine what tests we will run against
1740
# This MAKE_TARGET can be overridden by parse_command_line_options based MAKE_TARGET changes.
1736
# This BOOTSTRAP_TARGET can be overridden by parse_command_line_options based BOOTSTRAP_TARGET changes.
1741
1737
# We don't want Jenkins overriding other variables, so we NULL them.
1742
if [ -z "$MAKE_TARGET" ]; then
1738
if [ -z "$BOOTSTRAP_TARGET" ]; then
1743
1739
if $jenkins_build_environment; then
1744
1740
if [[ -n "$JENKINS_TARGET" ]]; then
1745
MAKE_TARGET="$JENKINS_TARGET"
1741
check_make_target $JENKINS_TARGET
1742
if [ $? -eq 0 ]; then
1743
BOOTSTRAP_TARGET="$JENKINS_TARGET"
1745
die "label not found: $label"
1747
if [[ -n "$label" ]]; then
1748
check_make_target $label
1749
if [ $? -eq 0 ]; then
1750
MAKE_TARGET="$label"
1754
if [[ -n "$LABEL" ]]; then
1755
check_make_target $LABEL
1756
if [ $? -eq 0 ]; then
1757
MAKE_TARGET="$LABEL"
1761
if [ -z "$MAKE_TARGET" ]; then
1762
MAKE_TARGET='jenkins'
1748
BOOTSTRAP_TARGET='jenkins'
1768
if [ -z "$MAKE_TARGET" ]; then
1769
MAKE_TARGET="make_default"
1753
if [ -z "$BOOTSTRAP_TARGET" ]; then
1754
BOOTSTRAP_TARGET="make_default"
1772
1757
# We should always have a target by this point
1758
assert BOOTSTRAP_TARGET