Gilles Peskine 12c49c7f7c compat.sh: use wait_server_start ... Port wait_server_start from ssl-opt.sh to compat.sh, instead of just using "sleep 1". This solves the problem that on a heavily loaded machine, sleep 1 is sometimes not enough (we had CI failures because of this). This is also faster on a lightly-loaded machine (execution time reduced from ~8min to ~6min on my machine).		2017-12-14 19:02:00 +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	Merge remote-tracking branch 'upstream-public/pr/1141' into development	2017-11-29 20:50:59 +01:00
suites	Merge remote-tracking branch 'upstream-public/pr/1172' into development	2017-12-01 22:36:21 +01:00
.gitignore
CMakeLists.txt	Remove need for elevated command line in Windows	2017-02-15 09:08:26 +00:00
compat.sh	compat.sh: use wait_server_start	2017-12-14 19:02:00 +01:00
Descriptions.txt
Makefile	Clean up of formatting, and potential integer overflow fix	2016-10-13 13:51:13 +01:00
ssl-opt.sh	wait_server_start: minor efficiency improvement	2017-12-14 18:58:42 +01:00