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