Ticket #7945: cpu_timer.cpp.diff

File cpu_timer.cpp.diff, 409 bytes (added by p.brockamp@…, 10 years ago)

Inhibit inclusion of headers not present in vxWorks

  • cpu_timer.cpp

     
    2626#   include <windows.h>
    2727# elif defined(BOOST_POSIX_API)
    2828#   include <unistd.h>
    29 #   include <sys/times.h>
     29#   if !defined(__VXWORKS__)
     30#     include <sys/times.h>
     31#   endif
    3032# else
    3133# error unknown API
    3234# endif