-
Alexandre Duret-Lutz authored
* lib/gethrxtime.h, lib/xtime.h: Add extern "C". * src/bin/Makefile.am (ltlcheck_LDADD): Use LIB_GETHRXTIME. * src/bin/ltlcheck.cc: Use gethrxtime() to record translation time.
82babb9d
* lib/gethrxtime.h, lib/xtime.h: Add extern "C". * src/bin/Makefile.am (ltlcheck_LDADD): Use LIB_GETHRXTIME. * src/bin/ltlcheck.cc: Use gethrxtime() to record translation time.