diff options
Diffstat (limited to 'base/java-tools/bin/pki')
| -rw-r--r-- | base/java-tools/bin/pki | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/base/java-tools/bin/pki b/base/java-tools/bin/pki index e476cfcfe..88490f7da 100644 --- a/base/java-tools/bin/pki +++ b/base/java-tools/bin/pki @@ -138,6 +138,9 @@ class PKICLI(pki.cli.CLI): if self.token and self.token != 'internal': cmd.extend(['--token', self.token]) + if self.verbose: + cmd.extend(['--verbose']) + cmd.extend(args) if self.verbose: |