From 1a07597d9c28d67b5308ada61d7a73b13f63bb26 Mon Sep 17 00:00:00 2001
From: Dave Murphy <davem@devkitpro.org>
Date: Wed, 14 Mar 2018 22:28:05 +0000
Subject: [PATCH] update general tools

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

diff --git a/build-devkit.sh b/build-devkit.sh
index 1f837c6..db2a033 100755
--- a/build-devkit.sh
+++ b/build-devkit.sh
@@ -24,7 +24,7 @@ echo "https://sourceforge.net/tracker/?group_id=114505&atid=668553"
 echo
 
 
-GENERAL_TOOLS_VER=1.0.1
+GENERAL_TOOLS_VER=1.0.2
 
 LIBGBA_VER=0.5.0
 GBATOOLS_VER=1.0.0