tests/genericmake/beremiz.xml
author Andrey Skvortsov <andrej.skvortzov@gmail.com>
Fri, 01 Jun 2018 12:21:37 +0300
changeset 2171 d1536c271866
parent 1387 435965ca8b63
child 3328 01682a34a558
permissions -rw-r--r--
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.
<?xml version='1.0' encoding='utf-8'?>
<BeremizRoot xmlns:xsd="http://www.w3.org/2001/XMLSchema">
  <TargetType>
    <Generic Command="make -C %(buildpath)s -f ../project_files/Makefile all BEREMIZSRC=%(src)s BEREMIZCFLAGS=%(cflags)s MD5=%(md5)s USE_BEREMIZ=1 FROM_BEREMIZ=1"/>
  </TargetType>
  <Libraries Enable_Native_Library="false" Enable_Python_Library="false" Enable_SVGUI_Library="false"/>
</BeremizRoot>