George Oikonomou 5f79843547 Create the (failed) summary log even when sub-make fails		2018-05-27 14:49:24 +01:00
..
Makefile	Create the (failed) summary log even when sub-make fails	2018-05-27 14:49:24 +01:00