From 77342cf9a0d8f81435f25b1ebf424aafe367c64e Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Tue, 2 Aug 2016 14:19:19 -0400 Subject: [PATCH] Oops. Correct stupid quoting mistake --- run | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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