Searched refs:skipped_cookie (Results 1 – 1 of 1) sorted by relevance
120 static const char* skipped_cookie = "skipped.txt"; variable492 do_requirements_check(control_directory / skipped_cookie); in operator ()()1370 skipped_cookie; in wait_any()