mirror of
https://github.com/azaion/annotations.git
synced 2026-04-22 11:06:30 +00:00
init.cmd - fix for Jenkins incorrect handle of pushd/popd
This commit is contained in:
+8
-2
@@ -1,12 +1,18 @@
|
|||||||
echo Make dirs, copy init dlls
|
echo Make dirs, copy init dlls
|
||||||
pushd %~dp0..
|
|
||||||
|
|
||||||
|
:: Change to the directory where init.cmd is located
|
||||||
|
cd /d %~dp0..
|
||||||
|
|
||||||
|
:: Create directories if they do not exist
|
||||||
if exist dist-dlls rmdir dist-dlls /s /q
|
if exist dist-dlls rmdir dist-dlls /s /q
|
||||||
mkdir dist-dlls
|
mkdir dist-dlls
|
||||||
if exist dist-azaion rmdir dist-azaion /s /q
|
if exist dist-azaion rmdir dist-azaion /s /q
|
||||||
mkdir dist-azaion
|
mkdir dist-azaion
|
||||||
|
|
||||||
echo Copying shared libs
|
echo Copying shared libs
|
||||||
|
|
||||||
|
:: Use robocopy to copy files
|
||||||
robocopy "C:\\share" "dist-dlls" "*"
|
robocopy "C:\\share" "dist-dlls" "*"
|
||||||
|
|
||||||
popd
|
:: Return to the previous directory
|
||||||
|
cd /d %OLDPWD%
|
||||||
|
|||||||
Reference in New Issue
Block a user