1if test "$all_tests" = "bad"; then
2  if test ! "$cache_file" = "/dev/null"; then
3    echo ""
4    echo "Please remove the file $cache_file after changing your setup"
5    echo "so that configure will find the changes next time."
6    echo ""
7  fi
8else
9  echo ""
10  echo "Good - your configure finished. Start make now"
11  echo ""
12fi
13