Commit 118e31b7 authored by Alexander Hansen Færøy's avatar Alexander Hansen Færøy 💬
Browse files

Merge remote-tracking branch 'tor-gitlab/mr/507' into main

parents 8771199e ad7a50a6

scripts/ci/ci-driver.sh

+59 −58
Original line number Diff line number Diff line
@@ -86,6 +86,7 @@ function error() 
{

    echo "${T_BOLD}${T_RED}ERROR:${T_RESET} $*" 1>&2

}



function die()

{

    echo "${T_BOLD}${T_RED}FATAL ERROR:${T_RESET} $*" 1>&2
@@ -357,10 +358,10 @@ if [[ "$RUN_STAGE_CONFIGURE" = "yes" ]]; then 
else

    debug "Skipping configure stage. Making sure that ${CI_BUILDDIR}/config.log exists."

    if [[ ! -d "${CI_BUILDDIR}" ]]; then

	die "Build directory ${CI_BUILDDIR} did not exist!";

        die "Build directory ${CI_BUILDDIR} did not exist!"

    fi

    if [[ ! -f "${CI_BUILDDIR}/config.log" ]]; then

	die "Tor was not configured in ${CI_BUILDDIR}!";

        die "Tor was not configured in ${CI_BUILDDIR}!"

    fi



    cp config.log "${CI_SRCDIR}"/artifacts