warbo-utilities: c2c8fb4f0db08170698a2d780fcd62d38493b368

     1: { bash, wrap }:
     2: 
     3: wrap {
     4:   name = "failed_tests";
     5:   paths = [ bash ];
     6:   script = ''
     7:     #!${bash}/bin/bash
     8:     set -e
     9:     shopt -s nullglob
    10: 
    11:     resultDir="/tmp/test_results.individual"
    12: 
    13:     [[ -d "$resultDir" ]] || {
    14:       echo "WARNING: Couldn't find failures since '$resultDir' isn't a dir" 1>&2
    15:       exit 0
    16:     }
    17: 
    18:     pushd "$resultDir" > /dev/null
    19:       grep -R 'FAIL' . | cut -d ':' -f1 | sed -e 's@^./@@g'
    20:     popd > /dev/null
    21:     exit 0
    22:   '';
    23: }