Merge branch 'libs/jetty/upstream' into libs/jetty/local
[gigi.git] / doc / scripts / getJetty.sh
index cbec366..784a6f1 100644 (file)
@@ -1,4 +1,5 @@
 #!/bin/sh
+set -e
 JETTY=C:/jars/jetty-distribution-9.1.0.RC0/org.eclipse.jetty.project
 
 pushd ../../lib/jetty/org/eclipse/jetty
@@ -6,7 +7,7 @@ rm -fR *
 
 pushd $JETTY
 
-git checkout refs/tags/jetty-9.2.1.v20140609
+git checkout refs/tags/jetty-9.2.16.v20160407
 popd