blob: 3a3711724f028006588b9b011b08c658ab1b0534 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
@ 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%
|
