tomcatjss-build.sh « scripts - pki-dev.git - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff stats

path: root/scripts/tomcatjss-build.sh

blob: 33c21013fa22e3583f4b38bd5e30cf98d260020c (plain)

#!/bin/sh -x

SRC_DIR=`cd ../.. ; pwd`

cd $SRC_DIR/tomcatjss

./build_tomcatjss