2022-12-16 02:17:08 +01:00
|
|
|
|
#!/usr/bin/env bash
|
2020-07-02 11:34:15 +02:00
|
|
|
|
|
2021-12-09 16:26:46 +01:00
|
|
|
|
set -eu -o pipefail
|
2020-07-02 11:34:15 +02:00
|
|
|
|
|
|
|
|
|
red=""
|
|
|
|
|
green=""
|
|
|
|
|
yellow=""
|
|
|
|
|
normal=""
|
|
|
|
|
|
2022-12-16 02:17:08 +01:00
|
|
|
|
test=$1
|
|
|
|
|
|
|
|
|
|
dir="$(dirname "${BASH_SOURCE[0]}")"
|
|
|
|
|
source "$dir/common-test.sh"
|
|
|
|
|
|
|
|
|
|
post_run_msg="ran test $test..."
|
2020-07-02 11:34:15 +02:00
|
|
|
|
if [ -t 1 ]; then
|
|
|
|
|
red="[31;1m"
|
|
|
|
|
green="[32;1m"
|
|
|
|
|
yellow="[33;1m"
|
|
|
|
|
normal="[m"
|
|
|
|
|
fi
|
2022-03-01 14:59:12 +01:00
|
|
|
|
|
|
|
|
|
run_test () {
|
2022-12-16 02:17:08 +01:00
|
|
|
|
(init_test 2>/dev/null > /dev/null)
|
2021-12-09 16:26:46 +01:00
|
|
|
|
log="$(run_test_proper 2>&1)" && status=0 || status=$?
|
2022-03-01 14:59:12 +01:00
|
|
|
|
}
|
|
|
|
|
|
2022-12-16 02:17:08 +01:00
|
|
|
|
run_test
|
2022-03-01 14:59:12 +01:00
|
|
|
|
|
|
|
|
|
# Hack: Retry the test if it fails with “unexpected EOF reading a line” as these
|
|
|
|
|
# appear randomly without anyone knowing why.
|
|
|
|
|
# See https://github.com/NixOS/nix/issues/3605 for more info
|
|
|
|
|
if [[ $status -ne 0 && $status -ne 99 && \
|
|
|
|
|
"$(uname)" == "Darwin" && \
|
2022-03-02 21:36:46 +01:00
|
|
|
|
"$log" =~ "unexpected EOF reading a line" \
|
2022-03-01 14:59:12 +01:00
|
|
|
|
]]; then
|
|
|
|
|
echo "$post_run_msg [${yellow}FAIL$normal] (possibly flaky, so will be retried)"
|
|
|
|
|
echo "$log" | sed 's/^/ /'
|
2022-12-16 02:17:08 +01:00
|
|
|
|
run_test
|
2022-03-01 14:59:12 +01:00
|
|
|
|
fi
|
|
|
|
|
|
2020-07-02 11:34:15 +02:00
|
|
|
|
if [ $status -eq 0 ]; then
|
|
|
|
|
echo "$post_run_msg [${green}PASS$normal]"
|
|
|
|
|
elif [ $status -eq 99 ]; then
|
|
|
|
|
echo "$post_run_msg [${yellow}SKIP$normal]"
|
|
|
|
|
else
|
|
|
|
|
echo "$post_run_msg [${red}FAIL$normal]"
|
|
|
|
|
echo "$log" | sed 's/^/ /'
|
|
|
|
|
exit "$status"
|
|
|
|
|
fi
|