8 lines
178 B
Bash
Executable File
8 lines
178 B
Bash
Executable File
#!/bin/sh
|
|
if [ -f ./run-prelude ]; then . ./run-prelude; fi
|
|
cd src
|
|
PLTSTDERR=info
|
|
export PLTSTDERR
|
|
echo '============================================='
|
|
exec racket main.rkt 2>&1
|