From b842d8449361bc56b30d781084fa829824607082 Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Tue, 14 May 2024 21:22:07 +0200 Subject: Merging upstream version 0.17.1. Signed-off-by: Daniel Baumann --- ci/env.inc.sh | 29 ----------------------------- 1 file changed, 29 deletions(-) delete mode 100644 ci/env.inc.sh (limited to 'ci/env.inc.sh') diff --git a/ci/env.inc.sh b/ci/env.inc.sh deleted file mode 100644 index ab2271f..0000000 --- a/ci/env.inc.sh +++ /dev/null @@ -1,29 +0,0 @@ -#!/usr/bin/env bash -# shellcheck disable=SC1090 -# shellcheck disable=SC1091 -if [[ -z "${INCLUDED_ENV_INC_SH:-}" ]]; then - . ci/utils.inc.sh - . ci/env-common.inc.sh - - OS="$(get_os)" - export OS - - . "ci/env-${OS}.inc.sh" - - : "${MAKE_PARALLEL:=$CORES}" - export MAKE_PARALLEL - - . ci/lib/install_functions.inc.sh - - - : "${MAKE_PARALLEL:=$CORES}" - export MAKE_PARALLEL - - : "${CTEST_PARALLEL:=$CORES}" - export CTEST_PARALLEL - - : "${PARALLEL_TEST_PROCESSORS:=$CORES}" - export PARALLEL_TEST_PROCESSORS - - export INCLUDED_ENV_INC_SH=1 -fi -- cgit v1.2.3