From af0fef1c8cdb077dbd77d3ef0642d2f2f30edefb Mon Sep 17 00:00:00 2001
From: Pete Batard <pete@akeo.ie>
Date: Mon, 21 Nov 2011 22:23:17 +0000
Subject: [PATCH] [wdk] renamed wdk_build.cmd to build.cmd

* also added link for WDK download
---
 wdk_build.cmd => build.cmd | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)
 rename wdk_build.cmd => build.cmd (81%)

diff --git a/wdk_build.cmd b/build.cmd
similarity index 81%
rename from wdk_build.cmd
rename to build.cmd
index 4eb43cd0..acca2fb9 100644
--- a/wdk_build.cmd
+++ b/build.cmd
@@ -31,7 +31,9 @@ echo Build failed
 goto done
 
 :usage
-echo wdk_build must be run in a Windows Driver Kit build environment
+echo This command must be run in a Windows Driver Kit build environment.
+echo See: http://msdn.microsoft.com/en-us/windows/hardware/gg487463
+echo:
 pause
 
 :done