docker_compile.sh
1 #!/usr/bin/env sh
2
3 echo "COMPILE_SCRIPT: $COMPILE_SCRIPT"
4 if [ -e "$COMPILE_SCRIPT" ]; then
5 cp $COMPILE_SCRIPT /tmp/compile.jl
6 elif [ -n "$COMPILE_SCRIPT" ]; then
7 /usr/bin/echo -e "$COMPILE_SCRIPT" > /tmp/compile.jl;
8 fi