diff options
| author | Endi Sukma Dewata <edewata@redhat.com> | 2012-09-11 12:50:31 -0500 |
|---|---|---|
| committer | Endi Sukma Dewata <edewata@redhat.com> | 2012-09-11 12:50:31 -0500 |
| commit | 0427fa61a3003dab7c1786c9071cf0105950f364 (patch) | |
| tree | b153b573bee5d80099de7f2577b08c6e58e4ec87 /scripts/kra-remove.sh | |
| parent | ba90fbd8fb727f1131986738c1d8a597f55631d8 (diff) | |
| download | pki-dev-0427fa61a3003dab7c1786c9071cf0105950f364.tar.gz pki-dev-0427fa61a3003dab7c1786c9071cf0105950f364.tar.xz pki-dev-0427fa61a3003dab7c1786c9071cf0105950f364.zip | |
Cleaned up and reorganized the scripts.
Diffstat (limited to 'scripts/kra-remove.sh')
| -rwxr-xr-x | scripts/kra-remove.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/kra-remove.sh b/scripts/kra-remove.sh index b865456..c639ae3 100755 --- a/scripts/kra-remove.sh +++ b/scripts/kra-remove.sh @@ -3,4 +3,4 @@ SRC_DIR=`cd ../.. ; pwd` INSTANCE_NAME=kra-master -pkidestroy -s KRA -i $INSTANCE_NAME +pkidestroy -v -s KRA -i $INSTANCE_NAME |