diff options
| -rw-r--r-- | build/build_wdk.bat | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/build/build_wdk.bat b/build/build_wdk.bat index 612aa87..9135567 100644 --- a/build/build_wdk.bat +++ b/build/build_wdk.bat @@ -17,7 +17,9 @@ SETLOCAL ENABLEEXTENSIONS CD /D %~dp0
rem Set the WDK directory
-IF NOT DEFINED WDKBASEDIR SET "WDKBASEDIR=C:\WinDDK\7600.16385.1"
+IF NOT DEFINED WDKBASEDIR SET "WDKBASEDIR=C:\WinDDK\7600.16385.1"
+rem My new WDK location
+IF NOT EXIST "%WDKBASEDIR%" SET "WDKBASEDIR=H:\WinDDK\7600.16385.1"
rem Check the building environment
IF NOT EXIST "%WDKBASEDIR%" CALL :SUBMSG "ERROR" "Specify your WDK directory!"
|