diff options
Diffstat (limited to 'admin/configure.in.bot.end')
| -rw-r--r-- | admin/configure.in.bot.end | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/admin/configure.in.bot.end b/admin/configure.in.bot.end deleted file mode 100644 index fb483b6..0000000 --- a/admin/configure.in.bot.end +++ /dev/null @@ -1,12 +0,0 @@ -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 |