Commit | Line | Data |
---|---|---|
a3da1d95 GE |
1 | if 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 | |
8 | else | |
9 | echo "" | |
10 | echo "Good - your configure finished. Start make now" | |
11 | echo "" | |
12 | fi |