#!/bin/sh -x SRC_DIR=`cd ../.. ; pwd` INSTANCE_NAME=pki-tomcat #INSTANCE_NAME=ocsp-master pkidestroy -v -s OCSP -i $INSTANCE_NAME