5 commits

Author	SHA1	Message	Date
Amine Khaldi	c15036cf3c	[TRAVIS-CI] Increase the git clone depth a bit.	2017-10-19 22:33:24 +01:00
Amine Khaldi	cf8c9bc312	[TRAVIS-CI] We only need to keep going despite errors in the ninja step.	2017-10-09 23:22:08 +01:00
Hermès Bélusca-Maïto	496b1cb951	Don't stop compilation at the first error. ... This gives developers a chance to see at once all the potential errors that can exist which could make further compilations fail.	2017-10-09 20:59:26 +02:00
Adam Stachowicz	8b8108ddee	[TRAVIS-CI] Fix formatting and move "./RosBEBinFull/RosBE.sh < tmp_file" to script for better 'Job Log' readability.	2017-10-08 14:54:43 +01:00
Amine Khaldi	d77464b3d6	[TRAVIS-CI] Initial version of the Travis-CI script.	2017-10-08 13:38:07 +01:00