mirror/drawio
2
0
Fork 0
mirror of https://github.com/jgraph/drawio.git synced 2025-02-23 17:40:10 +08:00
Code Issues Packages Projects Releases Wiki Activity

Update build.xml

Browse Source
This commit is contained in:
David Benson 2024-12-27 16:31:11 +00:00 committed by GitHub
parent ad7baf19a1
commit 1c77a6165b
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 0 additions and 21 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

21
etc/build/build.xml
View File

@ -6,27 +6,6 @@
<taskdef name="jscomp" classname="com.google.javascript.jscomp.ant.CompileTask" classpath="${jscompiler}" />
<target name="merge">
<concat destfile="${basedir}/../../build/shapes.js" fixlastline="yes" append="no">
<fileset dir="${war.dir}/shapes" includes="**/*.js"/>
<fileset dir="${war.dir}/stencils" includes="**/*.js"/>
</concat>
<java fork="false" classname="Xml2Js" classpath=".">
<arg value="../../src/main/webapp/stencils"/>
<arg value="../../src/main/webapp/js/stencils.min.js"/>
</java>
<jscomp compilationLevel="simple" debug="false" forceRecompile="true" output="${war.dir}/js/shapes-14-6-5.min.js">
<sources dir="${basedir}/../../build">
<file name="shapes.js" />
</sources>
</jscomp>
<tstamp>
<format property="time.stamp" pattern="MM/dd/yyyy hh:mm aa" unit="hour"/>
</tstamp>
<delete dir="${basedir}/../../build"/>
</target>
<target name="app" depends="merge">