/* config.h.in.  Generated automatically from configure.in by autoheader.  */

/* Define if you have the times function.  */
#undef HAVE_TIMES