mirror of
https://github.com/SerenityOS/serenity.git
synced 2026-11-07 04:29:30 -10:00
Meta: Report an error if the coverage directory already exists
This avoids contaminations from previous runs.
This commit is contained in:
1 parent
f82570ae70
commit
41ebb4e542
1 file changed
+1
-1
@@ -17,7 +17,7 @@ fi
|
||||
BUILD_DIR="${SERENITY_ROOT}/Build/${SERENITY_ARCH}${toolchain_suffix}"
|
||||
TEMP_PROFDATA="$BUILD_DIR/tmp_profile_data"
|
||||
|
||||
mkdir -p "$TEMP_PROFDATA"
|
||||
mkdir "$TEMP_PROFDATA"
|
||||
mkdir -p "$BUILD_DIR/mnt"
|
||||
|
||||
[ -z "${ELEVATE+x}" ] && ELEVATE="sudo"
|
||||
|
||||
Reference in new issue
Block a user