Wout Mertens 0083284ad8 Travis: chop build in install and build phases ... This allows us to see how long install takes. Also, build from hydra binaries as much as possible.		2014-10-15 11:05:12 +02:00
..
scripts	Travis: chop build in install and build phases	2014-10-15 11:05:12 +02:00