kernel/eka/include/drivers/locmedia.h
branchRCL_3
changeset 23 1df514389a47
parent 6 0173bcd7697c
child 28 5b5d147c7838
--- a/kernel/eka/include/drivers/locmedia.h	Wed Mar 31 23:38:45 2010 +0300
+++ b/kernel/eka/include/drivers/locmedia.h	Wed Apr 14 17:22:59 2010 +0300
@@ -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