Fix copy_to_dist batch script

vossjannik · vossjannik · commit 5ef9eb26ab76 · 2023-12-18T16:11:04.000+01:00
diff --git a/run/copy_to_dist.bat b/run/copy_to_dist.bat
@@ -1,6 +1,6 @@
 @ECHO OFF
 
-IF NOT EXIST dist rmdir /q /s dist
+IF EXIST dist rmdir /q /s dist
 mkdir dist || exit /b %errorlevel%
 
 IF EXIST build_x64 (
@@ -15,5 +15,5 @@ IF EXIST build_x64 (
     )
 )
 IF EXIST dist\AdsToJava.dll (
-    ren dist\AdsToJava.dll dist\AdsToJava-3.dll || exit /b %errorlevel%
+    move dist\AdsToJava.dll dist\AdsToJava-3.dll || exit /b %errorlevel%
 )

Original file line number	Diff line number	Diff line change
`@@ -1,6 +1,6 @@`
`1`	`1`	`@ECHO OFF`
`2`	`2`
`3`		`-IF NOT EXIST dist rmdir /q /s dist`
	`3`	`+IF EXIST dist rmdir /q /s dist`
`4`	`4`	`mkdir dist \|\| exit /b %errorlevel%`
`5`	`5`
`6`	`6`	`IF EXIST build_x64 (`
`@@ -15,5 +15,5 @@ IF EXIST build_x64 (`
`15`	`15`	`)`
`16`	`16`	`)`
`17`	`17`	`IF EXIST dist\AdsToJava.dll (`
`18`		`- ren dist\AdsToJava.dll dist\AdsToJava-3.dll \|\| exit /b %errorlevel%`
	`18`	`+ move dist\AdsToJava.dll dist\AdsToJava-3.dll \|\| exit /b %errorlevel%`
`19`	`19`	`)`