windows: remove a duplicate patch

diff --git a/products/compil_scripts/zlib-1.2.5.bat b/products/compil_scripts/zlib-1.2.5.bat
index a1b42aa6a6f09d89033407c7dbc5963da9db5b3d..abe35832bf814269cdc74d5cdf875fda5eee76f5 100644 (file)
--- a/products/compil_scripts/zlib-1.2.5.bat
+++ b/products/compil_scripts/zlib-1.2.5.bat
@@ -81,6 +81,6 @@ if %SAT_DEBUG% == 1 (
   copy /Y /B  %PRODUCT_INSTALL%\lib\zlibd.lib %PRODUCT_INSTALL%\lib\zlib.lib
   copy /Y /B  %PRODUCT_INSTALL%\bin\zlibd1.dll %PRODUCT_INSTALL%\bin\zlib1.dll
 )
-if
+
 echo.
 echo ########## END