Wilfried Goesgens cde427e492 create failure report file regardless of whether its going to be empty; simplifies build pipeline.		2016-09-13 14:40:13 +02:00
..
@arangodb	create failure report file regardless of whether its going to be empty; simplifies build pipeline.	2016-09-13 14:40:13 +02:00