kore-docker

Official Kore Dockerfiles
Commits | Files | Refs | README | git clone

entry.sh (33B)



      1 #!/bin/sh
      2 
      3 set -e
      4 
      5 exec kodev $@