# Test the example given in the man page which shows that most DNS # errors are ignored. echo "example.com" | dist/build/haeredes/haeredes --timeout=1 --server 10.1.46.12 ns1.example.com >>> >>>= 0