bin/setenv.bat
author Patrik Svestka <patrik.svestka@gmail.com>
Fri, 24 Aug 2018 19:19:47 +0200
changeset 253 3747e4b3256b
parent 43 69065e73842b
permissions -rw-r--r--
Adding a total time for each test package in the OVERALL SUMMARY
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
43
69065e73842b Win32: bin\setenv_* scripts fixed for MSYS2. Added generic setenv.bat
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
     1
@echo off
69065e73842b Win32: bin\setenv_* scripts fixed for MSYS2. Added generic setenv.bat
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
     2
IF EXIST "%PROGRAMFILES(X86)%" (
69065e73842b Win32: bin\setenv_* scripts fixed for MSYS2. Added generic setenv.bat
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
     3
	%~dp0\setenv_mingw64.bat
69065e73842b Win32: bin\setenv_* scripts fixed for MSYS2. Added generic setenv.bat
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
     4
) ELSE (
69065e73842b Win32: bin\setenv_* scripts fixed for MSYS2. Added generic setenv.bat
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
     5
    %~dp0\setenv_mingw32.bat
69065e73842b Win32: bin\setenv_* scripts fixed for MSYS2. Added generic setenv.bat
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
     6
)