Jan Klare 055cbb91e2 Fix bootstrap.sh ...

On recent test machines, curl isn't available anymore, so use wget
instead. Piping directly into bash isn't that great anyway.

Change-Id: Ie8dc2c9dacbd5f64fbad47b176a88e053e2e8ae5

2016-03-15 16:20:22 +01:00

410 B

Executable File

Raw Permalink Blame History

View Raw