diff options
Diffstat (limited to 'vendor/github.com/byzantine-lab/mcl/ffi/java/set-java-path.bat')
| -rw-r--r-- | vendor/github.com/byzantine-lab/mcl/ffi/java/set-java-path.bat | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/vendor/github.com/byzantine-lab/mcl/ffi/java/set-java-path.bat b/vendor/github.com/byzantine-lab/mcl/ffi/java/set-java-path.bat new file mode 100644 index 000000000..c66f81830 --- /dev/null +++ b/vendor/github.com/byzantine-lab/mcl/ffi/java/set-java-path.bat @@ -0,0 +1,8 @@ +@echo off +if "%JAVA_HOME%"=="" ( + set JAVA_DIR=c:/p/Java/jdk +) else ( + set JAVA_DIR=%JAVA_HOME% +) +echo JAVA_DIR=%JAVA_DIR% +rem set PATH=%PATH%;%JAVA_DIR%\bin |