diff options
Diffstat (limited to 'win32/scripts/move_contrib_deps.bat')
| -rw-r--r-- | win32/scripts/move_contrib_deps.bat | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/win32/scripts/move_contrib_deps.bat b/win32/scripts/move_contrib_deps.bat deleted file mode 100644 index aae8c72bc..000000000 --- a/win32/scripts/move_contrib_deps.bat +++ /dev/null @@ -1,16 +0,0 @@ -
-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\
-
|