#! /usr/bin/env bash
#
#      Filter error messages from make output.  This is for the
#      zipfile target which performs multiple tests.
#
#      Copyright (c) 2020 Marc Munro
#      Author:  Marc Munro
#      License: BSD

awk '
    BEGIN {
        failed = 0
    }
    /^GNUmakefile.*recipe.*failed/ {
        failed = 1
	next
    }
    /^make.*check_.*Error 2/ {
        failed = 1
	next
    }
    { print }
    END {
        if (failed) exit(2)
    }'