chiark / gitweb /
src/: Split the frontend out into its own separate system.
[sod] / src / dump-sod
1 #! /bin/sh -ex
2 cl-launch -o sod -d "$(pwd)/sod.img" -s sod +I -r sod:main "$@"