diff options
Diffstat (limited to 'src/kadmin/testing/scripts/start_servers')
| -rw-r--r-- | src/kadmin/testing/scripts/start_servers | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/kadmin/testing/scripts/start_servers b/src/kadmin/testing/scripts/start_servers index 79f6d3046..883aad766 100644 --- a/src/kadmin/testing/scripts/start_servers +++ b/src/kadmin/testing/scripts/start_servers @@ -18,9 +18,12 @@ DUMMY=${START_SERVERS_LOCAL=$STESTDIR/scripts/start_servers_local} DUMMY=${RSH_CMD=rsh} # If it's set, set it to true -VERBOSE=${VERBOSE_TEST+true} +if test x$VERBOSE_TEST = x; then + VERBOSE=true # Otherwise, set it to false -DUMMY=${VERBOSE=false} +else + VERBOSE=false +fi local=1 |