Changeset View

Standalone View

	Show All 35 Lines

	if [[ ! -z "${ENABLE_DEBUG}" ]]; then			if [[ ! -z "${ENABLE_DEBUG}" ]]; then
	echo "*** Building with debug"			echo "*** Building with debug"
	CONFIGURE_FLAGS+=("--enable-debug")			CONFIGURE_FLAGS+=("--enable-debug")
	fi			fi

	../configure "${CONFIGURE_FLAGS[@]}"			../configure "${CONFIGURE_FLAGS[@]}"

				# Sanitizers options, not used if sanitizers are not enabled
				SAN_SUPP_DIR="${TOPLEVEL}/test/sanitizer_suppressions"
				export ASAN_OPTIONS=""
				export LSAN_OPTIONS="suppressions=${SAN_SUPP_DIR}/lsan"
				export TSAN_OPTIONS="suppressions=${SAN_SUPP_DIR}/tsan"
				export UBSAN_OPTIONS="suppressions=${SAN_SUPP_DIR}/ubsan:print_stacktrace=1:halt_on_error=1"

	# Run build			# Run build
	make -j ${THREADS}			make -j ${THREADS}

	# Default to nothing			# Default to nothing
	: ${DISABLE_TESTS:=}			: ${DISABLE_TESTS:=}

	# If DISABLE_TESTS is unset (default), run the tests			# If DISABLE_TESTS is unset (default), run the tests
	if [[ -z "${DISABLE_TESTS}" ]]; then			if [[ -z "${DISABLE_TESTS}" ]]; then
	Show All 25 Lines