From 8adc6c5a3a2cde5e1574e2de95346dfe694b8920 Mon Sep 17 00:00:00 2001
From: Dave Murphy <wntrmute@users.sourceforge.net>
Date: Sat, 19 Jan 2013 16:18:23 +0000
Subject: [PATCH] disable scripts for push

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

diff --git a/build-devkit.sh b/build-devkit.sh
index 95b3f78..4c1a909 100755
--- a/build-devkit.sh
+++ b/build-devkit.sh
@@ -6,7 +6,7 @@
 #	devkitPSP release 17
 #---------------------------------------------------------------------------------
 
-if [ 0 -eq 1 ] ; then
+if [ 1 -eq 1 ] ; then
 	echo "Currently in release cycle, proceed with caution, do not report problems, do not ask for support."
 	echo "Please use the latest release buildscripts unless advised otherwise by devkitPro staff."
 	echo "http://sourceforge.net/projects/devkitpro/files/buildscripts/"