From 2a3ec5dc2f06c5b86b0c351825255d371051fb9f Mon Sep 17 00:00:00 2001
From: Carlos Santos <casantos@datacom.com.br>
Date: Thu, 30 Aug 2018 23:24:12 -0300
Subject: [PATCH] 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 | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 mode change 100755 => 100644 board/pc/grub-efi.cfg

diff --git a/board/pc/grub-efi.cfg b/board/pc/grub-efi.cfg
old mode 100755
new mode 100644