joachim99@14: if test "$all_tests" = "bad"; then
joachim99@14:   if test ! "$cache_file" = "/dev/null"; then
joachim99@14:     echo ""    
joachim99@14:     echo "Please remove the file $cache_file after changing your setup"
joachim99@14:     echo "so that configure will find the changes next time."
joachim99@14:     echo ""
joachim99@14:   fi
joachim99@14: else
joachim99@14:   echo ""
joachim99@14:   echo "Good - your configure finished. Start make now"
joachim99@14:   echo ""
joachim99@14: fi