diff options
Diffstat (limited to 'verity/verity_verifier')
| -rwxr-xr-x | verity/verity_verifier | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/verity/verity_verifier b/verity/verity_verifier new file mode 100755 index 00000000..f145228f --- /dev/null +++ b/verity/verity_verifier @@ -0,0 +1,8 @@ +#!/bin/sh + +# Start-up script for VerityVerifier + +VERITYVERIFIER_HOME=`dirname "$0"` +VERITYVERIFIER_HOME=`dirname "$VERITYVERIFIER_HOME"` + +java -Xmx512M -jar "$VERITYVERIFIER_HOME"/framework/VerityVerifier.jar "$@" |