From b23999f3e4e8f5950d650e3951b19b9c0b298cbc Mon Sep 17 00:00:00 2001 From: Fabricio Voznika Date: Fri, 6 Mar 2020 17:00:48 -0800 Subject: Fix runsc permissions for "dev.sh --refresh" PiperOrigin-RevId: 299466906 --- scripts/dev.sh | 1 + 1 file changed, 1 insertion(+) (limited to 'scripts/dev.sh') 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." -- cgit v1.2.3