diff options
Diffstat (limited to 'src/kadmin/testing/scripts/stop_servers')
| -rw-r--r-- | src/kadmin/testing/scripts/stop_servers | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/src/kadmin/testing/scripts/stop_servers b/src/kadmin/testing/scripts/stop_servers index a5f313ead..9542fada8 100644 --- a/src/kadmin/testing/scripts/stop_servers +++ b/src/kadmin/testing/scripts/stop_servers @@ -17,14 +17,6 @@ DUMMY=${STOP_SERVERS_LOCAL=$STESTDIR/scripts/stop_servers_local} DUMMY=${RSH_CMD=rsh} DUMMY=${RESTORE_FILES=$TESTDIR/scripts/restore_files.sh} -# If it's set, set it to true -if test x$VERBOSE_TEST = x; then - VERBOSE=true -# Otherwise, set it to false -else - VERBOSE=false -fi - local=1 if [ $# -gt 0 ]; then |