nihilist/tor
1
0
Fork 0
mirror of https://gitlab.torproject.org/tpo/core/tor.git synced 2024-11-27 22:03:31 +01:00
Code Issues Packages Projects Releases Wiki Activity

Improve formatting of scripts/ci/ci-driver.sh

Browse Source 
Add and remove few empty lines, covert all tabs to 4 spaces.
No real code changes here.

Signed-off-by: skaluzka <skaluzka@protonmail.com>
This commit is contained in:
skaluzka 2022-01-06 21:25:30 +01:00
parent 66e7ddb551
commit ad7a50a6c8
No known key found for this signature in database
GPG Key ID: BA6384EF5EF76DF2
1 changed files with 58 additions and 57 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
scripts/ci/ci-driver.sh
View File

@ -86,6 +86,7 @@ function error()
{ {
echo "${T_BOLD}${T_RED}ERROR:${T_RESET} $*" 1>&2 echo "${T_BOLD}${T_RED}ERROR:${T_RESET} $*" 1>&2
} }
function die() function die()
{ {
echo "${T_BOLD}${T_RED}FATAL ERROR:${T_RESET} $*" 1>&2 echo "${T_BOLD}${T_RED}FATAL ERROR:${T_RESET} $*" 1>&2
@ -357,10 +358,10 @@ if [[ "$RUN_STAGE_CONFIGURE" = "yes" ]]; then
else else
debug "Skipping configure stage. Making sure that ${CI_BUILDDIR}/config.log exists." debug "Skipping configure stage. Making sure that ${CI_BUILDDIR}/config.log exists."
if [[ ! -d "${CI_BUILDDIR}" ]]; then if [[ ! -d "${CI_BUILDDIR}" ]]; then
die "Build directory ${CI_BUILDDIR} did not exist!"; die "Build directory ${CI_BUILDDIR} did not exist!"
fi fi
if [[ ! -f "${CI_BUILDDIR}/config.log" ]]; then if [[ ! -f "${CI_BUILDDIR}/config.log" ]]; then
die "Tor was not configured in ${CI_BUILDDIR}!"; die "Tor was not configured in ${CI_BUILDDIR}!"
fi fi
cp config.log "${CI_SRCDIR}"/artifacts cp config.log "${CI_SRCDIR}"/artifacts