diff options
author | Endi S. Dewata <edewata@redhat.com> | 2018-06-22 00:30:30 +0200 |
---|---|---|
committer | Endi S. Dewata <edewata@redhat.com> | 2018-06-22 00:48:10 +0200 |
commit | 6ae8eed9e8b86f4e1bd2401d9bc11136c9148484 (patch) | |
tree | 88f2a53b2e1ff83c2eb747dc18fcce5fb1928cd8 /scripts/pki-build.sh | |
parent | f349436a80efa6533c73c26f88fbd1b9305097c9 (diff) | |
download | pki-dev-master.tar.gz pki-dev-master.tar.xz pki-dev-master.zip |
Diffstat (limited to 'scripts/pki-build.sh')
-rwxr-xr-x | scripts/pki-build.sh | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/scripts/pki-build.sh b/scripts/pki-build.sh index ea95e57..e1f8385 100755 --- a/scripts/pki-build.sh +++ b/scripts/pki-build.sh @@ -1,5 +1,3 @@ #!/bin/sh -x -# ../../pki/build.sh --with-timestamp --with-commit-id --without-server --without-javadoc --without-test "$@" - ../../pki/build.sh --with-timestamp --with-commit-id "$@" |