Files
linuxkit/base/dhcp-client/init-dev.sh
2017-03-17 17:24:10 +01:00

6 lines
48 B
Bash

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