From 3c65fc1cd20c06cf7b8ce5907c3d569e78d81075 Mon Sep 17 00:00:00 2001
From: Dave Murphy <wntrmute@users.sourceforge.net>
Date: Sun, 27 Apr 2008 03:52:28 +0000
Subject: [PATCH] correct default arm7 version

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

diff --git a/build-devkit.sh b/build-devkit.sh
index 9733e65..ac5b1fc 100644
--- a/build-devkit.sh
+++ b/build-devkit.sh
@@ -13,7 +13,7 @@ LIBOGC_VER=20080228
 LIBGBA_VER=20060720
 LIBNDS_VER=20071023
 LIBFAT_VER=20070127
-DEFAULT_ARM7_VER=20080414
+DEFAULT_ARM7_VER=20080416
 DSWIFI_VER=0.3.4
 LIBMIRKO_VER=0.9.7