X-Git-Url: http://git.etherboot.org/mirror/winof/.git/blobdiff_plain/d4b6360e0f7557232b6c4cd8915b54205a7c402d..8a86ef5223dbe45b365707f90d4cc5c009d7e23e:/core/bus/kernel/SOURCES?ds=sidebyside

diff --git a/core/bus/kernel/SOURCES b/core/bus/kernel/SOURCES
index 2e584605..d10bd1f5 100644
--- a/core/bus/kernel/SOURCES
+++ b/core/bus/kernel/SOURCES
@@ -2,14 +2,6 @@ TARGETNAME=ibbus
 TARGETPATH=..\..\..\bin\kernel\obj$(BUILD_ALT_DIR)
 TARGETTYPE=DRIVER
 
-!if $(_NT_TOOLS_VERSION) != 0x700
-# WDK build only - transform .inx --> .inf adding date & version stamp.
-# see .\makefile.inc
-INF_NAME=ib_bus
-INF_TARGET=..\..\..\bin\kernel\$(O)\$(INF_NAME).inf
-NTTARGETFILES=$(INF_TARGET)
-!endif
-
 !if $(FREEBUILD)
 ENABLE_EVENT_TRACING=1
 !else