targets/XSD_toolchain_gcc
author Andrey Skvortsov <andrej.skvortzov@gmail.com>
Fri, 01 Jun 2018 12:21:37 +0300
changeset 2171 d1536c271866
parent 1478 69fe0b81e951
permissions -rwxr-xr-x
use CLOCK_MONOTONIC instead of CLOCK_REALTIME for timer setup

CLOCK_REALTIME is a wall clock, that could change back and forth (user
changes system time, winter/summer time, NTP corrections and so on).
For real-time application CLOCK_MONOTONIC should be used, it doesn't
have such jumps.

          <xsd:attribute name="Compiler" type="xsd:string" use="optional" default="gcc"/>
          <xsd:attribute name="CFLAGS" type="xsd:string" use="optional" default=""/>
          <xsd:attribute name="Linker" type="xsd:string" use="optional" default="gcc"/>
          <xsd:attribute name="LDFLAGS" type="xsd:string" use="optional" default=""/>