mirror of
https://github.com/azaion/annotations.git
synced 2026-04-22 10:56:31 +00:00
Revert "init.cmd - fix for Jenkins incorrect handle of pushd/popd"
This reverts commit b8b4a33f9f.
This commit is contained in:
+2
-8
@@ -1,18 +1,12 @@
|
|||||||
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" "*"
|
||||||
|
|
||||||
:: Return to the previous directory
|
popd
|
||||||
cd /d %OLDPWD%
|
|
||||||
Reference in New Issue
Block a user