diff options
Diffstat (limited to 't/silent-custom.sh')
| -rw-r--r-- | t/silent-custom.sh | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/t/silent-custom.sh b/t/silent-custom.sh index f5baa0482..7ce3ffcc8 100644 --- a/t/silent-custom.sh +++ b/t/silent-custom.sh @@ -69,8 +69,7 @@ do_check () esac shift $MAKE clean - $MAKE ${1+"$@"} >output 2>&1 || { cat output; exit 1; } - sed 's/^/ /' output + run_make -M -- ${1+"$@"} if $silent; then $FGREP 'cp ' output && exit 1 $FGREP 'generate-header' output && exit 1 |