diff --git a/scripts/github/benchmark_gpu.sh b/scripts/github/benchmark_gpu.sh index 874bd1cd4..952c05c5c 100755 --- a/scripts/github/benchmark_gpu.sh +++ b/scripts/github/benchmark_gpu.sh @@ -9,7 +9,7 @@ SCRIPT_DIR=$(realpath "$(dirname "$0")/..") source "${SCRIPT_DIR}/ci/common.sh" -BENCH_DIR=${GITHUB_BUILD_CHECKOUT_PATH:-.}/benchmarks +BENCH_DIR=benchmarks BUILD_DIR=$(realpath "${BUILD_DIR:-build-${COMPILER}}") CONFIG_DIR=$(realpath "${BENCH_DIR}/config") diff --git a/scripts/github/build_tpp.sh b/scripts/github/build_tpp.sh index 47be5ebbb..dd40750b7 100755 --- a/scripts/github/build_tpp.sh +++ b/scripts/github/build_tpp.sh @@ -66,11 +66,7 @@ if [ "${CLEAN}" ]; then fi # Defaults when lacking CI environment -PROJECT_DIR=${GITHUB_BUILD_CHECKOUT_PATH:-.} -if [ ! "${PROJECT_DIR}" ]; then - echo "PROJECT_DIR source path not set" - exit 1 -fi +PROJECT_DIR=. if [ ! "${BUILD_DIR}" ]; then BUILD_DIR="build-${COMPILER}" fi