diff -r f652ab1e06e2 -r d043dac9f34e External/WinRing0/MAKEFILE
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/External/WinRing0/MAKEFILE	Sun May 27 16:50:01 2012 +0000
@@ -0,0 +1,7 @@
+#
+# DO NOT EDIT THIS FILE!!!  Edit .\sources. if you want to add a new source
+# file to this component.  This file merely indirects to the real make file
+# that is shared by all the driver components of the Windows NT DDK
+#
+
+!INCLUDE $(NTMAKEENV)\makefile.def