/*
 * Header file: time.h
 *
 * Description:
 *	This header file is the autoconf replacement for sys/time.h (if it
 *	lives on the system).
 */

#ifndef _CONFIG_SYS_TIME_H
#define _CONFIG_SYS_TIME_H

#include "Config/config.h"

#ifdef HAVE_SYS_TIME_H
#include <sys/time.h>
#endif

#endif