chiark / gitweb /
f0063c20df76ab0f1f6f6c143dc2171808c81c5c
[sod] / src / dump-sod
1 #! /bin/sh -ex
2 cl-launch -o sod -d "$(pwd)/sod.img" -s sod +I -r sod:main "$@"