diff options
Diffstat (limited to 'lib/make.sh')
-rw-r--r-- | lib/make.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/make.sh b/lib/make.sh index 78841dd1..336f5e77 100644 --- a/lib/make.sh +++ b/lib/make.sh @@ -1395,6 +1395,7 @@ EOF # Produce this dir's part of $new_try_fails, that will # become $prev_try_fails on the next iteration. + notice "New failed tests in this run:" local res_prev_fails "$validate_failures" \ --build_dir="${builddir}$dir" --produce_manifest \ |