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