Commit 36d76251 authored by Tristan Gingold's avatar Tristan Gingold

ci: disp failure summary

parent 35aeb126
Pipeline #4486 failed with stage
in 1 minute and 55 seconds
......@@ -30,10 +30,11 @@ make_all:
- make clean
- make $f
- if ! make -j$NPROC; then
- echo "FAILURE $f"
- echo "FAILURE of $f"
- fail="$fail $f"
- fi
- done
- echo "FAILED TARGET are $fail"
- test "$fail" = ""
make_rt_cpu:
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment