diff options
| author | Daniel Díaz <daniel.diaz@linaro.org> | 2016-08-17 15:52:23 -0500 |
|---|---|---|
| committer | Daniel Díaz <daniel.diaz@linaro.org> | 2016-08-17 15:54:39 -0500 |
| commit | d5dab0000eabca335ddbbbc2a1ee039da4bf2ef7 (patch) | |
| tree | 987e6e6c89d86c05b36e4f382e629a556eeb4aa1 /archive-primordial-jdk7-amd64.yaml | |
| parent | f225d31e6a6f77460ce8b2158bf12fc2f2e56472 (diff) | |
jdk7: primordial: Add complete JRE package.
The openjdk-7-jre package does not include the java binary
and many libraries, as it relies instead on pulling
openjdk-7-jre-headless as a dependency. We need those
binaries on the primordial archive so that the whole JRE
can be used in other jobs.
Change-Id: I4dddfbecd7965862e828c118bfbb62e13c6c82da
Signed-off-by: Daniel Díaz <daniel.diaz@linaro.org>
Diffstat (limited to 'archive-primordial-jdk7-amd64.yaml')
| -rw-r--r-- | archive-primordial-jdk7-amd64.yaml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/archive-primordial-jdk7-amd64.yaml b/archive-primordial-jdk7-amd64.yaml index 93d97d9a..736d09c7 100644 --- a/archive-primordial-jdk7-amd64.yaml +++ b/archive-primordial-jdk7-amd64.yaml @@ -40,9 +40,10 @@ sudo sed -i -e 's/archive.ubuntu.com\|security.ubuntu.com/old-releases.ubuntu.com/g' /etc/apt/sources.list sudo sed -i -e 's/^.*arm64.*$//g' /etc/apt/sources.list sudo apt-get update - apt-get download openjdk-7-jdk openjdk-7-jre + apt-get download openjdk-7-jdk openjdk-7-jre openjdk-7-jre-headless dpkg-deb -x openjdk-7-jdk_*.deb openjdk-7 dpkg-deb -x openjdk-7-jre_*.deb openjdk-7 + dpkg-deb -x openjdk-7-jre-headless_*.deb openjdk-7 rm -rf ~/JVMs/${orig_name} mkdir -p ~/JVMs |