Laurent Rineau 3468c7bf32 Use `timeout` if available, instead of a system of sleep/kill ... The GNU coreutils software [timeout](https://man7.org/linux/man-pages/man1/timeout.1.html) is a perfect replacement for our buggy function `wait_for_process`. This patch uses it when available. On Linux, brew, Cygwin, it is available in the `coreutils` package.		2020-06-17 12:31:36 +02:00
..
include/CGAL/Testsuite	run the script to remove tabs and trailing whitespaces	2020-03-26 13:25:16 +01:00
package_info/Testsuite	Move dependencies creation to package_info and add dependencies to git	2018-02-02 12:08:05 +01:00
test	Use `timeout` if available, instead of a system of sleep/kill	2020-06-17 12:31:36 +02:00