summaryrefslogtreecommitdiffstats
path: root/admin/configure.in.bot.end
blob: fb483b67e8c5e086b3d6b4ba631c8aa899fb91c0 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
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