#! /bin/bash

. portal-env.sh
. portal-catalina.sh env
cd ${PORTAL_HOME}
set -x
cp "portal_webapp/target/patchrepo.war" "${CATALINA_HOME}/webapps/"