debugger: Don't echo auto-repeated commands.

2023-07-28 15:07:18 -07:00 · 2023-07-28 15:07:18 -07:00 · b5dbaff748
parent a0ce1efabe
commit b5dbaff748
1 changed files with 0 additions and 1 deletions
--- a/debugger/debugger.cpp
+++ b/debugger/debugger.cpp
@ -526,7 +526,6 @@ void enter_debugger() {

        if (cmd.empty() && !last_cmd.empty()) {
            cmd = last_cmd;
-            cout << cmd << endl;
        }
        if (cmd == "help") {
            cmd = "";