From 2a306b5e49441c88369dbc53a29d6f19b9b7dcec Mon Sep 17 00:00:00 2001
From: Dave Murphy <davem@devkitpro.org>
Date: Fri, 8 May 2020 09:50:02 +0100
Subject: [PATCH] strip bins script should be executable

---
 strip_bins.sh | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 mode change 100644 => 100755 strip_bins.sh

diff --git a/strip_bins.sh b/strip_bins.sh
old mode 100644
new mode 100755