more robust;
authorwenzelm
Mon Jun 04 22:59:47 2018 +0200 (13 months ago)
changeset 6837678147871f5b3
parent 68375 5714e8806060
child 68377 1d1e9f9f8641
more robust;
Admin/Windows/Cygwin/Cygwin-Setup.bat
     1.1 --- a/Admin/Windows/Cygwin/Cygwin-Setup.bat	Mon Jun 04 22:04:45 2018 +0200
     1.2 +++ b/Admin/Windows/Cygwin/Cygwin-Setup.bat	Mon Jun 04 22:59:47 2018 +0200
     1.3 @@ -1,3 +1,3 @@
     1.4  @echo off
     1.5  
     1.6 -"%CD%\contrib\cygwin\isabelle\cygwin" --site {MIRROR} --no-verify --only-site --local-package-dir "%TEMP%" --root "%CD%\contrib\cygwin"
     1.7 +"%CD%\contrib\cygwin\isabelle\cygwin" --site "{MIRROR}" --no-verify --only-site --local-package-dir "%TEMP%" --root "%CD%\contrib\cygwin"