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
Generated by dwww version 1.15 on Sat May 18 12:05:03 CEST 2024.