nixpkgs/pkgs/servers/http/jetty/6.1/bin-builder.sh

set -e

source $stdenv/setup

unzip $src
mkdir -p $out/$name
mv jetty*/* $out/$name