diff --git a/tools/test.sh b/tools/test.sh index e47c2d734..e1d924f5e 100755 --- a/tools/test.sh +++ b/tools/test.sh @@ -403,6 +403,12 @@ function status() if [ "${RET}" -ne 0 ]; then case ${RET} in + 246) + echo "autotune failure, cmdline : ${CMD}" >> "${OUTD}/logfull.txt" 2>> "${OUTD}/logfull.txt" + + e_rs=$((e_rs + 1)) + ;; + 248) echo "skipped by runtime (mixed backend errors detected), cmdline : ${CMD}" >> "${OUTD}/logfull.txt" 2>> "${OUTD}/logfull.txt"