search

seL4 / seL4-CAmkES-L4v-dockerfiles

Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.
12 stars 39 forks source link

review bash invocations in this repo #56

Open lsf37 opened 1 year ago

lsf37 commented 1 year ago

For anything running on the host, we should not assume bash, and in general we should invoke everything that is not /bin/sh with /usr/bin/env.

See also #55