Update _updatePublisher.bat

This commit is contained in:
Jose Costa Teixeira 2020-04-29 15:59:15 +02:00 committed by GitHub
parent f95b8c4f79
commit ba0ac1f61a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -168,7 +168,7 @@ echo "Errors encountered during execution. Exited with status: %errorlevel%"
goto end goto end
:next :next
ECHO Updating this file... ECHO Updating this file...
start copy /y "_updatePublisher.new.bat" "_updatePublisher2.bat" ^&^& del "_updatePublisher.new.bat" ^&^& exit start copy /y "_updatePublisher.new.bat" "_updatePublisher.bat" ^&^& del "_updatePublisher.new.bat" ^&^& exit
REM ============================ REM ============================
:end :end