From 43d2a531279acd3a929832063c0ac247bb20c72c Mon Sep 17 00:00:00 2001
From: Uwe Hermann <uwe@hermann-uwe.de>
Date: Thu, 16 Jul 2009 01:23:48 +0200
Subject: [PATCH] Mention how PREFIX can be used to override the toolchain.

---
 README | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/README b/README
index 05cf1a31..fe87379c 100644
--- a/README
+++ b/README
@@ -11,6 +11,10 @@ Building
 
  $ make
 
+You may want to override the toolchain (e.g., arm-elf or arm-none-eabi):
+
+ $ PREFIX=arm-none-eabi make
+
 
 Installation
 ------------