From e1fc813b177a0b72781a4c90ea899ac3692157e4 Mon Sep 17 00:00:00 2001
From: Dave Murphy <davem@devkitpro.org>
Date: Tue, 27 Jun 2017 18:26:39 +0100
Subject: [PATCH] update gp32 tools

---
 build-devkit.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build-devkit.sh b/build-devkit.sh
index 424f4b5..1f70f24 100755
--- a/build-devkit.sh
+++ b/build-devkit.sh
@@ -53,7 +53,7 @@ TOOLS3DS_VER=1.1.4
 LINK3DS_VER=0.5.1
 PICASSO_VER=2.6.2
 
-GP32_TOOLS_VER=1.0.2
+GP32_TOOLS_VER=1.0.3
 LIBMIRKO_VER=0.9.7
 
 OSXMIN=${OSXMIN:-10.5}