Fix runsc permissions for "dev.sh --refresh"

PiperOrigin-RevId: 299466906
This commit is contained in:
Fabricio Voznika
2020-03-06 17:01:51 -08:00
committed by gVisor bot
parent 228813fd26
commit b23999f3e4
+1
View File
@@ -66,6 +66,7 @@ if [[ ${REFRESH} -eq 0 ]]; then
else
mkdir -p "$(dirname ${RUNSC_BIN})"
cp -f ${OUTPUT} "${RUNSC_BIN}"
chmod a+rx "${RUNSC_BIN}"
echo
echo "Runtime ${RUNTIME} refreshed."