diff options
author | Carlos Santos <casantos@datacom.com.br> | 2018-08-30 23:24:12 -0300 |
---|---|---|
committer | Peter Korsgaard <peter@korsgaard.com> | 2019-02-07 22:43:44 +0100 |
commit | 2a3ec5dc2f06c5b86b0c351825255d371051fb9f (patch) | |
tree | 979346e8dac72e043ffba5b1fbffa6d82c059daa /board | |
parent | ab59727b38429c2338d8d0c85a263a587a199283 (diff) |
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>
Diffstat (limited to 'board')
-rw-r--r--[-rwxr-xr-x] | board/pc/grub-efi.cfg | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/board/pc/grub-efi.cfg b/board/pc/grub-efi.cfg index 222301a4e0..222301a4e0 100755..100644 --- a/board/pc/grub-efi.cfg +++ b/board/pc/grub-efi.cfg |