tree cdadd89da45069a36b6bdbe4f16941ec761395b5
parent 9da1317177ff6eb5f0bd2c7f46ed70144fc9a458
author Aled Sage <aled.sage@gmail.com> 1493138168 +0100
committer Aled Sage <aled.sage@gmail.com> 1493138168 +0100

Fix jetty6.install

(Previously only worked on linux if unzip was already installed, or
if `yum install -y zip` would also install unzip).