You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
13 lines
332 B
13 lines
332 B
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
|