Cannot compile if the option --with-timeout is given #46
Description
Cannot compile if the option --with-timeout is given, so option --with-main-safe-level is not checked either)
{{ message }}
Cannot compile if the option --with-timeout is given, so option --with-main-safe-level is not checked either)