targets/XSD_toolchain_makefile
changeset 734 5c42cafaee15
parent 733 915be999f3f0
child 735 d9f4ecee761d
--- a/targets/XSD_toolchain_makefile	Sat May 19 19:00:55 2012 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,6 +0,0 @@
-
-          <xsd:attribute name="BuildPath" type="xsd:string" use="optional" default=""/>
-          <xsd:attribute name="Command" type="xsd:string" use="optional" default="make -C"/>
-          <xsd:attribute name="Arguments" type="xsd:string" use="optional" default="BEREMIZSRC=%(src)s BEREMIZCFLAGS=%(cflags)s MD5=%(md5)s USE_BEREMIZ=1 FROM_BEREMIZ=1 --quiet"/>
-          <xsd:attribute name="Rule" type="xsd:string" use="optional" default="all"/>
-