fix kill?

This commit is contained in:
carlospolop 2025-05-18 04:46:19 +02:00
parent 63c090059b
commit 58c107df40

View File

@ -32,7 +32,7 @@ execBin() {
# ---------------- 120second wallclock timeout ----------------
if command -v timeout >/dev/null 2>&1; then # GNU/BSD timeout
print_info "Running $TOOL_NAME with 120s timeout"
timeout --preserve-status 120 "$TMP_BIN" $PARAMS
timeout --preserve-status -s 9 120 "$TMP_BIN" $PARAMS
elif command -v gtimeout >/dev/null 2>&1; then # Homebrew coreutils (macOS)
print_info "Running $TOOL_NAME with 120s gtimeout"
gtimeout --preserve-status 120 "$TMP_BIN" $PARAMS