Gaëtan Harter 534ccaf5ee dist/tools/build_system_sanity_check: handle error by prepending ... Handle putting the final error message by prepending the output. This removes issue with errors being concatenated and gives an interractive output. The errors are now send to stderr.		2019-06-13 16:03:51 +02:00
..
check.sh	dist/tools/build_system_sanity_check: handle error by prepending	2019-06-13 16:03:51 +02:00