Use curl instead of wget to avoid proxy issues

Change-Id: I01add8dfb36ede1c6ec3f27751084010c2f38a72
Signed-off-by: Mikael Barbero <mikael@eclipse.org>
1 file changed
tree: dee397e81a7aab31c7b8c1f71b177aad09fbe7e2
  1. hudson-scripts/