diff options
| author |   Ed Warnicke <eaw@cisco.com> | 2016-05-05 18:03:27 -0500 |
|---|---|---|
| committer |   Dave Barach <openvpp@barachs.net> | 2016-05-07 13:03:22 +0000 |
| commit | 027103e561a1a04c348a2507129e943297748e2a (patch) | |
| tree | 279f800c34c747a31c5b21b58273587c27af1845 /build-root/scripts/make-plugin-toolkit | |
| parent | 59611303fb70a739544c280177f315bf1508d761 (diff) | |
Switch to using -headless JDK
By default, jdks bring a bunch of UI related things
we don't need, so switch to headeless.
Also, use default-jdk-headless for Ubuntu after 14.04.
Use openjdk-8-jdk-headless for Ubuntu 14.04.
Change-Id: I3cf14c39c9f59dc2f1beba8dfb19971f4b67f5a6
Signed-off-by: Ed Warnicke <eaw@cisco.com>
Diffstat (limited to 'build-root/scripts/make-plugin-toolkit')
0 files changed, 0 insertions, 0 deletions