diff options
Diffstat (limited to 'src/kadmin/testing/scripts/stop_servers')
| -rw-r--r-- | src/kadmin/testing/scripts/stop_servers | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/kadmin/testing/scripts/stop_servers b/src/kadmin/testing/scripts/stop_servers index e8dcac8383..dc59d78bff 100644 --- a/src/kadmin/testing/scripts/stop_servers +++ b/src/kadmin/testing/scripts/stop_servers @@ -18,9 +18,9 @@ DUMMY=${RSH_CMD=rsh} DUMMY=${RESTORE_FILES=$TESTDIR/scripts/restore_files.sh} # If it's set, set it to true -VERBOSE=${VERBOSE_TEST:+true} +VERBOSE=${VERBOSE_TEST+true} # Otherwise, set it to false -DUMMY=${VERBOSE:=false} +DUMMY=${VERBOSE=false} local=1 |