tree dee397e81a7aab31c7b8c1f71b177aad09fbe7e2
parent ce5b61e9af087446428005e69adae04749c3e839
author Mikaël Barbero <mikael@eclipse.org> 1483615205 -0400
committer Mikaël Barbero <mikael@eclipse.org> 1483615254 -0400

Use curl instead of wget to avoid proxy issues

Change-Id: I01add8dfb36ede1c6ec3f27751084010c2f38a72
Signed-off-by: Mikael Barbero <mikael@eclipse.org>