diff --git a/run b/run index 91d9624..89fa780 100755 --- a/run +++ b/run @@ -12,7 +12,7 @@ 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@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