*** configure.orig Tue Jun 12 17:04:41 2001 --- configure Tue Jun 12 17:05:01 2001 *************** *** 536,547 **** if test "$prefix" = NONE; then cat >> confdefs.h <> confdefs.h <> confdefs.h <> confdefs.h <