grub/grub-core/osdep/cputime.c

6 lines
87 B
C
Raw Normal View History

#ifdef __MINGW32__
#include "windows/cputime.c"
#else
#include "unix/cputime.c"
#endif