Add new necessary PLTSTDERR filters to get a usable log output

This commit is contained in:
Tony Garnock-Jones 2020-06-04 12:17:48 +02:00
parent 12082a3fe4
commit 5ef4f02a2b

17
run
View File

@ -12,7 +12,22 @@ if [ ! -f configs/${CONFIG}.rkt ]; then
exit 1
fi
PLTSTDERR="info warning@cm warning@compiler/cm warning@module-prefetch warning@setup/parallel-build warning@cm-accomplice warning@online-check-syntax error@racket/contract"
PLTSTDERR="
info
warning@GC
warning@cm
warning@compiler/cm
warning@module-prefetch
warning@setup/parallel-build
warning@cm-accomplice
warning@online-check-syntax
error@racket/contract
error@collapsible-cache-fail
error@collapsible-contract-arrow-wrapper-arity
error@collapsible-contract-bailout
error@collapsible-merging
error@collapsible-value-bailout
"
export PLTSTDERR
echo '============================================='
cd src