diff options
Diffstat (limited to 'win32/scripts/move_contrib_deps.bat')
| -rw-r--r-- | win32/scripts/move_contrib_deps.bat | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/win32/scripts/move_contrib_deps.bat b/win32/scripts/move_contrib_deps.bat new file mode 100644 index 000000000..aae8c72bc --- /dev/null +++ b/win32/scripts/move_contrib_deps.bat @@ -0,0 +1,16 @@ +
+ECHO dirent ...
+xcopy /Y contrib\dirent\dirent.h include\
+
+ECHO pthreads ...
+xcopy /Y contrib\pthreads\pthread.h include\
+xcopy /Y contrib\pthreads\sched.h include\
+xcopy /Y contrib\pthreads\semaphore.h include\
+
+ECHO zlib ...
+xcopy /Y contrib\zlib\zlib.h include\
+xcopy /Y contrib\zlib\zconf.h include\
+
+ECHO timer ...
+xcopy /Y contrib\timer\timer.h include\
+
|