Files
linuxkit/projects/miragesdk/dhcp-client/init-dev.sh
2017-03-17 17:43:20 +01:00

6 lines
48 B
Bash

#!/bin/sh
set -eu
opam config exec -- /bin/sh