ack/plat/cpm/include/ack/config.h
2007-04-27 22:42:41 +00:00

20 lines
387 B
C

/* $Source$
* $State$
* $Revision$
*/
#ifndef _ACK_CONFIG_H
#define _ACK_CONFIG_H
/* We're providing a time() system call rather than wanting a wrapper around
* gettimeofday() in the libc. */
#define ACKCONF_TIME_IS_A_SYSCALL
/* Since the i80 code generator doesn't support floating point, don't include
* it in the stdio libraries. */
#define ACKCONF_NO_STDIO_FLOAT
#endif