diff --git a/Makefile b/Makefile index bdbcaa9f7106c15b1c9a208ec1ec7457901274e5..7a93e0c97c533e0c4e8635abcf3d9a61c5258c3b 100644 --- a/Makefile +++ b/Makefile @@ -167,7 +167,7 @@ check-all-test-results: check-all-upgrade-results: @A="$$(for i in build/results/*-upgrade.text ; do \ - case $$i in */cmucl-*|*/gcl-*|*/xcl-*) ;; *) \ + case $$i in */gcl-*|*/xcl-*) ;; *) \ if [ 'Script succeeded' != "$$(tail -1 < $$i)" ] ; \ then echo $$i ; fi ; esac ; done)" ; \ if [ -n "$$A" ] ; then \