search

jamesadevine / pldi-artifact-evaluation

0 stars 0 forks source link

now a problem on ubuntu running script to get gcc-arm-none-eabi #4

Closed tballmsft closed 6 months ago

tballmsft commented 6 months ago 
 > [ 8/27] RUN /install-gcc-arm-none-eabi.sh:
0.407 /bin/sh: 1: /install-gcc-arm-none-eabi.sh: Permission denied

Probably need to chmod

tballmsft commented 6 months ago 
RUN chmod u+x /install-gcc-arm-none-eabi.sh
RUN /install-gcc-arm-none-eabi.sh

did the trick