[OFED] update build process to use latest WDK version 7600.16385.1

git-svn-id: svn://openib.tc.cornell.edu/gen1@2826 ad392aa1-c5ef-ae45-8dd8-e69d62a5ef86

diff --git a/trunk/OFED/BuildRelease.bat b/trunk/OFED/BuildRelease.bat
index 873af333a31536ab38a50568cc69b61ec6fdef1f..e50d249854cc607bcea4c4212d7d0ed54124a893 100644 (file)
--- a/trunk/OFED/BuildRelease.bat
+++ b/trunk/OFED/BuildRelease.bat
@@ -175,19 +175,11 @@ goto cert_OK
 \r
 :cert_OK\r
 \r
-set WIN7=yes\r
+rem WDK setup\r
 \r
-rem Use this WDK\r
-\r
-if "%WIN7%" == "yes" (\r
-       rem Windows 7 WDK\r
-       set _DDK_VER=7600.16385.0\r
-       set _COIN_VER=01009\r
-) else (\r
-       rem Server 2008 WDK & WdfCoInstaller version\r
-       set _DDK_VER=6001.18001\r
-       set _COIN_VER=01007\r
-)\r
+rem Windows 7 WDK 7600_1, 7600_0 was the last.\r
+set _DDK_VER=7600.16385.1\r
+set _COIN_VER=01009\r
 \r
 rem Full DDK root path\r
 set _DDK=%SystemDrive%\WinDDK\%_DDK_VER%\r