configs/pc: fix grub-efi.cfg permissions
authorCarlos Santos <casantos@datacom.com.br>
Fri, 31 Aug 2018 02:24:12 +0000 (23:24 -0300)
committerPeter Korsgaard <peter@korsgaard.com>
Thu, 7 Feb 2019 21:43:44 +0000 (22:43 +0100)
commit2a3ec5dc2f06c5b86b0c351825255d371051fb9f
tree979346e8dac72e043ffba5b1fbffa6d82c059daa
parentab59727b38429c2338d8d0c85a263a587a199283
configs/pc: fix grub-efi.cfg permissions

It does not need the execute bits.

Signed-off-by: Carlos Santos <casantos@datacom.com.br>
Signed-off-by: Peter Korsgaard <peter@korsgaard.com>
board/pc/grub-efi.cfg [changed mode: 0755->0644]