/ scripts / docker_compile.sh
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