Felix Geyer 6e0867b307 Specify maven repo location.
By default it chooses a location based on $HOME which is not guranteed to
have a proper value on buildds.

We also need to take care of cleaning it up after the build.

Signed-off-by: Wido den Hollander <wido@widodh.nl>
2015-03-05 14:35:52 +01:00
..
2010-08-11 09:13:29 -07:00
2015-03-05 14:35:52 +01:00
2012-07-20 14:09:16 -04:00
2010-08-11 09:13:29 -07:00
2015-03-05 14:35:52 +01:00