# HG changeset patch # User Florian Vogler # Date 1448498841 -3600 # Node ID 95d5e2181abc7534bb8ee973d2263622249a7e37 # Parent e5512c8290737c3a5b4b45d66096ef5ed43be789 Add manual junit download to fix ClassNotFoundException on jenkins. diff -r e5512c829073 -r 95d5e2181abc build.xml --- a/build.xml Tue Nov 24 01:02:29 2015 +0100 +++ b/build.xml Thu Nov 26 01:47:21 2015 +0100 @@ -4,8 +4,21 @@ - + + + + + + + + + + + + +