kernel/eka/include/drivers/locmedia.h
changeset 121 661475905584
parent 33 0173bcd7697c
child 117 5b5d147c7838
child 123 fc55edbf3919
--- a/kernel/eka/include/drivers/locmedia.h	Fri Apr 23 22:02:01 2010 +0100
+++ b/kernel/eka/include/drivers/locmedia.h	Fri Apr 23 22:08:41 2010 +0100
@@ -23,7 +23,7 @@
 #if defined(_DEBUG) && defined(__DEMAND_PAGING__)
 #define __CONCURRENT_PAGING_INSTRUMENTATION__
 #endif
-#if defined(_DEBUG) && defined(__DEMAND_PAGING__)
+#ifdef __DEMAND_PAGING__
 #define __DEMAND_PAGING_BENCHMARKS__
 #endif