From 83b4d70af5831254eb3f73ca912ac46e359245eb Mon Sep 17 00:00:00 2001
From: Frank Gevaerts <frank@gevaerts.be>
Date: Sat, 3 Mar 2012 19:16:22 +0100
Subject: Undefine HAVE_ADJUSTABLE_CPU_FREQ for __PCTOOL__

Change-Id: I1772df581975ed02134d6d7cb230c0991a92a4e1
---
 firmware/export/config.h | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/firmware/export/config.h b/firmware/export/config.h
index 61f8d61..c1f6ecc 100644
--- a/firmware/export/config.h
+++ b/firmware/export/config.h
@@ -761,6 +761,11 @@ Lyre prototype 1 */
 #undef HAVE_ADJUSTABLE_CPU_FREQ
 #endif
 
+#if defined(__PCTOOL__) && defined(HAVE_ADJUSTABLE_CPU_FREQ)
+/* PCTOOLs don't use CPU frequency adjustment */
+#undef HAVE_ADJUSTABLE_CPU_FREQ
+#endif
+
 /* Enable the directory cache and tagcache in RAM if we have
  * plenty of RAM. Both features can be enabled independently. */
 #if (MEMORYSIZE >= 8) && !defined(BOOTLOADER) && !defined(__PCTOOL__) \
-- 
cgit v1.1