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 driver_entry_renamed_to_avoid_compiler_warning.c single_dir_for_windows_kernel\driver_entry.c 1>nul 2>nul
12 copy /y sources.dynamic single_dir_for_windows_kernel\sources 1>nul 2>nul
14 echo Windows kernel dynamic library build directory structure created.
15 echo (Note the effects of this batch file are idempotent).