IFSKIT_LIB_DEST
Use the IFSKIT_LIB_DEST macro to specify the directory where file system import libraries created by the Build utility will be placed.
In the Windows Driver Kit (WDK), the default value is:
%DDKROOT%\lib\Version
For this default value, WDKROOT is the root installation directory of the WDK. Version indicates the version of Windows that is supported by the build environment -- wxp for Windows XP, wnet for Windows Server 2003, wlh for Windows Vista, or win7 for Windows 7.
Send comments about this topic to Microsoft
Build date: 5/3/2011