diff options
-rwxr-xr-x | .github/configs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/configs b/.github/configs index bf7b7157..12578c06 100755 --- a/.github/configs +++ b/.github/configs @@ -119,7 +119,7 @@ case "${TARGET_HOST}" in SKIP_LTESTS=scp3 ;; hurd) - SKIP_LTESTS="forwarding multiplex proxy-connect hostkey-agent" + SKIP_LTESTS="forwarding multiplex proxy-connect hostkey-agent agent-ptrace" ;; minix3) CC="clang" |