Commit 7ba79d0d authored by leberre's avatar leberre

Added missing pb jar in br4cp archive.

git-svn-id: svn+ssh:// ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent d1a25461
......@@ -26,7 +26,8 @@
<echo>Create All-In-One auto-executable package</echo>
<jar destfile="${dist}/${release}/sat4j-br4cp.jar" basedir="${build}" manifest="${build}/META-INF/MANIFEST.MF">
<zipgroupfileset dir="${dist}/${release}">
<include name="org.sat4j.core.jar"/>
<include name="org.sat4j.core.jar"/>
<include name="org.sat4j.pb.jar"/>
<antcall target="zip-bundle">
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment