diff --git a/run b/run index 4014891..91d9624 100755 --- a/run +++ b/run @@ -12,7 +12,7 @@ if [ ! -f configs/${CONFIG}.rkt ]; then exit 1 fi -PLTSTDERR=info +PLTSTDERR=info warning@cm warning@compiler/cm warning@module-prefetch warning@setup/parallel-build warning@cm-accomplice warning@online-check-syntax error@racket/contract export PLTSTDERR echo '=============================================' cd src