diff --git a/travis/distcheck.sh b/travis/distcheck.sh index 8d195a86..89333628 100755 --- a/travis/distcheck.sh +++ b/travis/distcheck.sh @@ -10,7 +10,7 @@ if [ "$BUILD_TYPE" = "normal" -a "$TRAVIS_OS_NAME" = "linux" ]; then cd test make - $TEST_WRAP ./arestest -v $TEST_FILTER + $TEST_WRAP ./arestest -4 -v $TEST_FILTER cd .. cd .. diff --git a/travis/test.sh b/travis/test.sh index 7eaff23b..b3bddaa7 100755 --- a/travis/test.sh +++ b/travis/test.sh @@ -6,7 +6,7 @@ if [ "$BUILD_TYPE" != "ios" -a "$BUILD_TYPE" != "analyse" -a "$BUILD_TYPE" != "c $TEST_WRAP ./ahost www.google.com cd test make - $TEST_WRAP ./arestest -v $TEST_FILTER + $TEST_WRAP ./arestest -4 -v $TEST_FILTER ./fuzzcheck.sh ./dnsdump fuzzinput/answer_a fuzzinput/answer_aaaa cd ..