targets/XSD_toolchain_makefile
author Edouard Tisserant
Mon, 16 Apr 2018 11:00:04 +0200
changeset 1989 9b5c712f4488
parent 1387 435965ca8b63
child 3723 58c74d098f09
permissions -rwxr-xr-x
More canonical test.
There is an exception happening around here in some cases when connection is dropped while waiting for answer. Not sure that this fixes it but this is anyhow better.

          <xsd:attribute name="Command" type="xsd:string" use="optional" default="make -C %(buildpath)s all BEREMIZSRC=%(src)s BEREMIZCFLAGS=%(cflags)s MD5=%(md5)s USE_BEREMIZ=1 FROM_BEREMIZ=1"/>