diff options
Diffstat (limited to 'test/stderr/0386')
| -rw-r--r-- | test/stderr/0386 | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/test/stderr/0386 b/test/stderr/0386 index 30dfa439a..c8f39d047 100644 --- a/test/stderr/0386 +++ b/test/stderr/0386 @@ -195,16 +195,16 @@ check acl = TESTSUITE/aux-fixed/0386.acl2 dnslists check: rbl.test.ex new DNS lookup for 13.12.11.V4NET.rbl.test.ex DNS lookup of 13.12.11.V4NET.rbl.test.ex (A) using fakens -fresh-exec forking for child-open -postfork: child-open -fresh-exec forked for child-open: npppp +fresh-exec forking for fakens-search +postfork: fakens-search +fresh-exec forked for fakens-search: npppp DNS lookup of 13.12.11.V4NET.rbl.test.ex (A) succeeded dnslists: wrote cache entry, ttl=3 DNS lookup for 13.12.11.V4NET.rbl.test.ex succeeded (yielding 127.0.0.2) DNS lookup of 13.12.11.V4NET.rbl.test.ex (TXT) using fakens -fresh-exec forking for child-open -postfork: child-open -fresh-exec forked for child-open: npppp +fresh-exec forking for fakens-search +postfork: fakens-search +fresh-exec forked for fakens-search: npppp DNS lookup of 13.12.11.V4NET.rbl.test.ex (TXT) succeeded => that means V4NET.11.12.13 is listed at rbl.test.ex warn: condition test succeeded in ACL "TESTSUITE/aux-fixed/0386.acl2" |