diff options
| author | Enrico Tassi | 2020-12-08 15:33:21 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2021-01-04 10:18:25 +0100 |
| commit | fa7c0f9d55a5a33a0f76ddb0c5794a06117c6914 (patch) | |
| tree | 3dd911a4a8bd9b95b01699750d75de308af99b2e /dev/build/windows/MakeCoq_SetRootPath.bat | |
| parent | 66e24a2365b235bd35cbba71adce30dccea60b55 (diff) | |
[win] remove old scripts, we now use the platform ones
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% |