diff options
| author | Mike McQuaid | 2018-02-12 08:52:20 +0000 |
|---|---|---|
| committer | GitHub | 2018-02-12 08:52:20 +0000 |
| commit | adfd3dbe161a5dc963134d5c0b798ed23e5f3a5c (patch) | |
| tree | 85895533a2ede91c288d6f905f5b2a165a55130e /Library | |
| parent | b6a1302b8692d6aba8ea8bec2b839d4360e97009 (diff) | |
| parent | 49972e59052635cf1e42fa2418f9bb4c2cf29a8a (diff) | |
| download | brew-adfd3dbe161a5dc963134d5c0b798ed23e5f3a5c.tar.bz2 | |
Merge pull request #3782 from apjanke/version-option-for-write_jar_script
write_jar_script: add java version option
Diffstat (limited to 'Library')
| -rw-r--r-- | Library/Homebrew/extend/pathname.rb | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/Library/Homebrew/extend/pathname.rb b/Library/Homebrew/extend/pathname.rb index b4311f13f..baf47b276 100644 --- a/Library/Homebrew/extend/pathname.rb +++ b/Library/Homebrew/extend/pathname.rb @@ -436,11 +436,14 @@ class Pathname end # Writes an exec script that invokes a java jar - def write_jar_script(target_jar, script_name, java_opts = "") + def write_jar_script(target_jar, script_name, java_opts = "", java_version: nil) mkpath + java_home = if java_version + "JAVA_HOME=\"$(#{Language::Java.java_home_cmd(java_version)})\" " + end join(script_name).write <<~EOS #!/bin/bash - exec java #{java_opts} -jar #{target_jar} "$@" + #{java_home}exec java #{java_opts} -jar #{target_jar} "$@" EOS end |
