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: 68b877f4c4169a14d268c484f12d2b59438d9905 (plain)

1
2
3

#!/bin/sh -x

../../tomcatjss/build.sh --with-timestamp --with-commit-id "$@"