2 rmdir /q /s single_dir_for_windows_kernel 1>nul 2>nul
3 mkdir single_dir_for_windows_kernel 1>nul 2>nul
5 copy /y ..\..\src\libshared_ansi\* single_dir_for_windows_kernel\ 1>nul 2>nul
6 copy /y ..\..\src\libshared_memory\* single_dir_for_windows_kernel\ 1>nul 2>nul
7 copy /y ..\..\src\libshared_misc\* single_dir_for_windows_kernel\ 1>nul 2>nul
8 copy /y ..\..\src\libshared_porting_abstraction_layer\* single_dir_for_windows_kernel\ 1>nul 2>nul
10 copy /y ..\..\src\libshared_internal.h single_dir_for_windows_kernel\ 1>nul 2>nul
11 copy /y sources.static single_dir_for_windows_kernel\sources 1>nul 2>nul
13 echo Windows kernel static library build directory structure created.
14 echo (Note the effects of this batch file are idempotent).