diff options
Diffstat (limited to 'bundles/org.eclipse.wst.xml.core/DevTimeSupport/buildNames.xml')
| -rw-r--r-- | bundles/org.eclipse.wst.xml.core/DevTimeSupport/buildNames.xml | 32 |
1 files changed, 0 insertions, 32 deletions
diff --git a/bundles/org.eclipse.wst.xml.core/DevTimeSupport/buildNames.xml b/bundles/org.eclipse.wst.xml.core/DevTimeSupport/buildNames.xml deleted file mode 100644 index 6d97563384..0000000000 --- a/bundles/org.eclipse.wst.xml.core/DevTimeSupport/buildNames.xml +++ /dev/null @@ -1,32 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<project name="tokenizer" default="XML10Names"> - - <!-- Note: for Eclipse env., the JFlex 1.4 jar should be added - to the ant global entries --> - <taskdef classname="JFlex.anttask.JFlexTask" name="jflex" /> - - <target name="init"> - <property name="src.file" value="XML10Names.jFlex"/> - <property name="src.dir" value="HeadParsers"/> - <property name="dest.dir" value="../src"/> - <!-- touch causes to always build, remove for real 'make' behavior --> - <touch file="${src.dir}/${src.file}"/> - - </target> - - <target name="XML10Names" depends="init"> - <antcall target="run-jflex"/> - </target> - - <target name="run-jflex" depends="init"> - <jflex - file="${src.dir}/${src.file}" - destdir="${dest.dir}" - verbose="true" - nobak="true" - time="on" - /> - </target> - - -</project>
\ No newline at end of file |