From c9109d8681b260f5fe2db4add6d012ad6606dbc3 Mon Sep 17 00:00:00 2001
From: Dave Murphy <davem@devkitpro.org>
Date: Thu, 2 Feb 2017 01:12:34 +0000
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 f2a5d3a..f4898ef 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.5.0
 
-GP32_TOOLS_VER=1.0.1
+GP32_TOOLS_VER=1.0.2
 LIBMIRKO_VER=0.9.7
 
 #---------------------------------------------------------------------------------