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