diff options
| author | Michael Soegtrop | 2021-01-13 21:31:14 +0100 |
|---|---|---|
| committer | Michael Soegtrop | 2021-01-13 21:31:14 +0100 |
| commit | 223843c2cda13c9646c123dc19b4af1983d88561 (patch) | |
| tree | 3767bc5ff76f97c26477f947c9dfcd5369a1ef7e /dev/build/windows/MakeCoq_SetRootPath.bat | |
| parent | 9fef12aadf0e7afea3d89a00cb7216b2b008cf5c (diff) | |
| parent | 16cd0d5cfc0c4702b8220dad8e91f31a89d904ba (diff) | |
Merge PR #13598: [ci] window jobs based on the platform
Ack-by: MSoegtropIMC
Ack-by: SkySkimmer
Reviewed-by: Zimmi48
Diffstat (limited to 'dev/build/windows/MakeCoq_SetRootPath.bat')
| -rw-r--r-- | dev/build/windows/MakeCoq_SetRootPath.bat | 27 |
1 files changed, 0 insertions, 27 deletions
diff --git a/dev/build/windows/MakeCoq_SetRootPath.bat b/dev/build/windows/MakeCoq_SetRootPath.bat deleted file mode 100644 index bcb104772c..0000000000 --- a/dev/build/windows/MakeCoq_SetRootPath.bat +++ /dev/null @@ -1,27 +0,0 @@ -REM ========== COPYRIGHT/COPYLEFT ========== - -REM (C) 2016 Intel Deutschland GmbH -REM Author: Michael Soegtrop - -REM Released to the public by Intel under the -REM GNU Lesser General Public License Version 2.1 or later -REM See https://www.gnu.org/licenses/old-licenses/lgpl-2.1.html - -REM ========== CHOOSE A SENSIBLE ROOT PATH ========== - -@ ECHO OFF - -REM Figure out a root path for coq and cygwin - -REM For the \nul trick for testing folders see -REM https://support.microsoft.com/en-us/kb/65994 - -IF EXIST D:\bin\nul ( - SET ROOTPATH=D:\bin -) else if EXIST C:\bin ( - SET ROOTPATH=C:\bin -) else ( - SET ROOTPATH=C: -) - -ECHO ROOTPATH set to %ROOTPATH% |