diff -r 9a2198517f48 -r 35cb3fe43f60 plugins/consoles/common/bld.inf
--- a/plugins/consoles/common/bld.inf	Wed Aug 11 12:57:25 2010 +0100
+++ b/plugins/consoles/common/bld.inf	Thu Aug 12 16:38:42 2010 +0100
@@ -30,6 +30,7 @@
 
 PRJ_MMPFILES
 
+.\consoleextensions.mmp
 ..\consoleproxy\group\consoleproxy.mmp
 ..\defcons\src\defcons.mmp
 ..\iocons\group\iocons.mmp