From bcb3bff114ff00c2d357220ca8d0aa424bcc1a15 Mon Sep 17 00:00:00 2001
From: Dave Murphy <davem@devkitpro.org>
Date: Thu, 7 Mar 2019 01:58:38 +0000
Subject: [PATCH] update devkitA64 version

---
 build-devkit.sh            | 2 +-
 dka64/scripts/build-gcc.sh | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/build-devkit.sh b/build-devkit.sh
index 1d54f90..b458ed3 100755
--- a/build-devkit.sh
+++ b/build-devkit.sh
@@ -2,7 +2,7 @@
 #---------------------------------------------------------------------------------
 #	devkitARM release 52
 #	devkitPPC release 35
-#	devkitA64 release 12
+#	devkitA64 release 13
 #---------------------------------------------------------------------------------
 
 if [ 0 -eq 1 ] ; then
diff --git a/dka64/scripts/build-gcc.sh b/dka64/scripts/build-gcc.sh
index 9bc87c0..32c683b 100755
--- a/dka64/scripts/build-gcc.sh
+++ b/dka64/scripts/build-gcc.sh
@@ -64,7 +64,7 @@ then
 		--prefix=$prefix \
 		--enable-lto $plugin_ld\
 		--with-system-zlib \
-		--with-bugurl="https://github.com/devkitPro/buildscripts/issues" --with-pkgversion="devkitA64 release 12" \
+		--with-bugurl="https://github.com/devkitPro/buildscripts/issues" --with-pkgversion="devkitA64 release 13" \
 		$CROSS_PARAMS \
 		$CROSS_GCC_PARAMS \
 		|| { echo "Error configuring gcc"; exit 1; }