Admin/Windows/Cygwin/Cygwin-Setup.bat
author wenzelm
Mon, 06 Dec 2021 15:34:54 +0100
changeset 74887 56247fdb8bbb
parent 68376 78147871f5b3
permissions -rwxr-xr-x
discontinued old-style {* verbatim *} tokens;

@echo off

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