# add tptpcore.jar to AC bin/ directory (bug #145824)

#

mkdir -p $rmt_tmp

cd $rmt_tmp

unzip -q -o -j $rmt_storage/tptp.platform.runtime-$timestamp.zip eclipse/plugins/org.eclipse.tptp.platform.execution_\*tptpcore.jar -d bin

if [ $? == 0 ]; then

    for rmt_target in $rmt_targets; do

        # temporal solution to use several attemts to zip because

        # zip is unstable on dev.eclipse.org causing "zip error: Temporary file failure"

        for i in 1 2 3 4 5; do

            zip -9 -q -r -y $rmt_storage/$rmt_target-$timestamp.zip bin/tptpcore.jar && break

        done

        let "exitcode=$exitcode|$?"

    done

fi

cd $wkspc

rm -rf $rmt_tmp