#!/bin/bash # Copyright (c) 2012 Michael Berlin, Zuse Institute Berlin # Licensed under the BSD License, see LICENSE file for details. set -e trap onexit 1 2 3 15 ERR function onexit() { local exit_status=${1:-$?} echo ERROR: Exiting $0 with $exit_status exit $exit_status } replication_dir_in_babudb_trunk="java/replication" cat </dev/null ant jar -f "$babudb_replication_buildfile" >/dev/null cp -a "$babudb_replication_jar_source" "$babudb_replication_jar_dest" echo "finished compiling BabuDB replication plugion (BabuDB_replication_plugin.jar)"