Skip to content
Snippets Groups Projects
Commit 86a283c6 authored by Boris Grozev's avatar Boris Grozev
Browse files

Makes sure that the file is copied even if the jitsi repo has a version with a...

Makes sure that the file is copied even if the jitsi repo has a version with a newer date (which could happen after a git pull).
parent 600e7ec8
Branches
Tags
No related merge requests found
...@@ -83,7 +83,7 @@ ...@@ -83,7 +83,7 @@
name="make-and-copy-to-jitsi" name="make-and-copy-to-jitsi"
depends="make" depends="make"
description="Package the project and copy the resulting jar to Jitsi (which is assumed to live next to libjitsi)."> description="Package the project and copy the resulting jar to Jitsi (which is assumed to live next to libjitsi).">
<copy file="${libjitsi.jar}" todir="../jitsi/lib/installer-exclude"/> <copy file="${libjitsi.jar}" todir="../jitsi/lib/installer-exclude" overwrite="true"/>
</target> </target>
<target <target
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment