diff options
| author |   Damjan Marion <damarion@cisco.com> | 2017-01-03 13:09:10 +0100 |
|---|---|---|
| committer |   Dave Barach <openvpp@barachs.net> | 2017-01-03 14:33:48 +0000 |
| commit | 2fbd1ae1814834703a861ad4e4bb1996cc01e5b0 (patch) | |
| tree | 1d0474364d8ef586c0937ffc4688f842f7877897 /build-root/vagrant/install.sh | |
| parent | 5a68debd8173a487dbd67b3e574d962308c91bcc (diff) | |
Improve Java 8 detection m4 script to deal with pre-set JAVA_HOME
Change-Id: I38685530634fd43d0a46ff43e5ef7d62b9ee4d9b
Signed-off-by: Damjan Marion <damarion@cisco.com>
Diffstat (limited to 'build-root/vagrant/install.sh')
0 files changed, 0 insertions, 0 deletions