/* clock.c (emx+gcc) -- Copyright (c) 1990-1993 by Eberhard Mattes */

#include <sys/emx.h>
#include <time.h>

#if CLOCKS_PER_SEC != 100
emx must be changed!
#endif

clock_t clock (void)
{
  return ((clock_t)__clock ());
}