From 6ab4e561f73e01b497ef3a323883814007d49990 Mon Sep 17 00:00:00 2001
From: Fergus Noble <fergusnoble@gmail.com>
Date: Fri, 23 Sep 2011 13:06:07 -0700
Subject: [PATCH] Change default prefix in top level Makefile.

---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index d0bed537..23ea1b79 100644
--- a/Makefile
+++ b/Makefile
@@ -17,8 +17,8 @@
 ## along with this program.  If not, see <http://www.gnu.org/licenses/>.
 ##
 
-# PREFIX	?= arm-none-eabi
-PREFIX		?= arm-elf
+PREFIX	?= arm-none-eabi
+# PREFIX		?= arm-elf
 DESTDIR		?= /usr/local
 INCDIR		= $(DESTDIR)/$(PREFIX)/include
 LIBDIR		= $(DESTDIR)/$(PREFIX)/lib