Admin/Windows/Cygwin/Cygwin-Setup.bat
author wenzelm
Sat, 28 Nov 2020 16:25:29 +0100
changeset 72759 bd5ee3148132
parent 68376 78147871f5b3
permissions -rwxr-xr-x
more antiquotations (reverting 4df341249348);

@echo off

"%CD%\contrib\cygwin\isabelle\cygwin" --site "{MIRROR}" --no-verify --only-site --local-package-dir "%TEMP%" --root "%CD%\contrib\cygwin"