+++ /dev/null
-/* DO NOT EDIT THIS FILE.
-
- It has been auto-edited by fixincludes from:
-
- "fixinc/tests/inc/time.h"
-
- This had to be done to correct non-standard usages in the
- original, manufacturer supplied header file. */
-
-#ifndef FIXINC_WRAP_TIME_H_M88K_MULTI_INCL
-#define FIXINC_WRAP_TIME_H_M88K_MULTI_INCL 1
-
-
-
-#if defined( M88K_MULTI_INCL_CHECK )
-
-#endif /* M88K_MULTI_INCL_CHECK */
-
-
-#if defined( VXWORKS_NEEDS_VXTYPES_CHECK )
-unsigned int _clocks_per_sec;
-#endif /* VXWORKS_NEEDS_VXTYPES_CHECK */
-
-
-#if defined( VXWORKS_TIME_CHECK )
-#ifndef __gcc_VOIDFUNCPTR_defined
-#ifdef __cplusplus
-typedef void (*__gcc_VOIDFUNCPTR) (...);
-#else
-typedef void (*__gcc_VOIDFUNCPTR) ();
-#endif
-#define __gcc_VOIDFUNCPTR_defined
-#endif
-#define VOIDFUNCPTR __gcc_VOIDFUNCPTR
-#endif /* VXWORKS_TIME_CHECK */
-
-#endif /* FIXINC_WRAP_TIME_H_M88K_MULTI_INCL */