diff --git a/Makefile b/Makefile index 87297bc820b76d975ed5dddc4a8b20f5856b4a5b..ec0e850de58f43b593236afc77ab08d7edee6dab 100644 --- a/Makefile +++ b/Makefile @@ -191,7 +191,10 @@ check-all-upgrade-results: fi check-all-results: - @r=0 ; make check-all-test-results || r=1 ; make check-all-upgrade-results || r=1 ; exit $r + @r=0 ; \ + make --quiet check-all-test-results || r=1 ; \ + make --quiet check-all-upgrade-results || r=1 ; \ + exit $r extract: extract-all-tagged-asdf extract-all-tagged-asdf: build/asdf.lisp