diff options
Diffstat (limited to 'genpki.sh')
-rwxr-xr-x | genpki.sh | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -7,7 +7,7 @@ set -xe cd $(dirname $0) CLUSTER="$1" -if [ ! -d "cluster/$CLUSTER" ]; then +if [ -z "$CLUSTER" ] || [ ! -d "cluster/$CLUSTER" ]; then echo "Usage: $0 <cluster name>" echo "The cluster name must be the name of a subdirectory of cluster/" exit 1 |