diff options
| -rwxr-xr-x | test/scripts/run_vpp_in_vm.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/scripts/run_vpp_in_vm.sh b/test/scripts/run_vpp_in_vm.sh index 0bc4c5dffd8..6f8742b8605 100755 --- a/test/scripts/run_vpp_in_vm.sh +++ b/test/scripts/run_vpp_in_vm.sh @@ -171,7 +171,7 @@ _EOF_ -nodefaults \ -name test_$(basename $INIT) \ -chardev stdio,mux=on,id=char0 \ - -mon chardev=char0,mode=readline,pretty=on \ + -mon chardev=char0,mode=readline \ -serial chardev:char0 \ -machine pc,accel=kvm,usb=off,mem-merge=off \ -cpu host \ |