diff options
| author | Fabricio Voznika <fvoznika@google.com> | 2020-03-06 17:00:48 -0800 |
|---|---|---|
| committer | gVisor bot <gvisor-bot@google.com> | 2020-03-06 17:01:51 -0800 |
| commit | b23999f3e4e8f5950d650e3951b19b9c0b298cbc (patch) | |
| tree | fc0acdb2d991d4aa22fe03d995cf42c59e0f9fff /scripts/dev.sh | |
| parent | 228813fd26aadea012cd8c39e084e4b0fb23d273 (diff) | |
Fix runsc permissions for "dev.sh --refresh"
PiperOrigin-RevId: 299466906
Diffstat (limited to 'scripts/dev.sh')
| -rwxr-xr-x | scripts/dev.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/dev.sh b/scripts/dev.sh index 6238b4d0b..a9107f33e 100755 --- a/scripts/dev.sh +++ b/scripts/dev.sh @@ -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." |