Gilles Peskine 7c6521688a all.sh: --keep-going mode ... Add --keep-going mode to all.sh. In this mode, if a test fails, keep running the subsequent tests. If a build fails, skip any tests of this build and move on to the next tests. Errors in infrastructure, such as git or cmake runs, remain fatal. Print an error summary at the end of the run, and return a nonzero code if there was any failure. In known terminal types, use color to highlight errors. On a fatal signal, interrupt the run and report the errors so far.		2017-12-21 15:17:21 +01:00
..
data_files	Merge remote-tracking branch 'upstream-public/pr/1089' into development	2017-11-28 17:32:32 +01:00
git-scripts	Move the git scripts to correct path	2017-07-27 21:44:34 +01:00
scripts	all.sh: --keep-going mode	2017-12-21 15:17:21 +01:00
suites	Merge remote-tracking branch 'restricted/pr/397' into development	2017-12-19 11:27:22 +01:00
.gitignore
CMakeLists.txt
compat.sh	compat.sh: use wait_server_start	2017-12-14 19:02:00 +01:00
Descriptions.txt
Makefile
ssl-opt.sh	wait_server_start: minor efficiency improvement	2017-12-14 18:58:42 +01:00