diff --git a/build/pdp10-ka/start b/build/pdp10-ka/start index 1760196e..7ff8e023 100755 --- a/build/pdp10-ka/start +++ b/build/pdp10-ka/start @@ -25,7 +25,7 @@ gt40() { } tv11() { - (sleep 3; tools/tv11/tv11 -p 10011 localhost >tv11.log 2>&1) & + (sleep 3; tools/tv11/tv11 -s 4 -p 10011 localhost >tv11.log 2>&1) & started TV-11 "$!" } diff --git a/tools/tv11 b/tools/tv11 index 3b1e2a3b..c04b33dc 160000 --- a/tools/tv11 +++ b/tools/tv11 @@ -1 +1 @@ -Subproject commit 3b1e2a3bf09a170b3ea0deab219fc3f9b9209ad0 +Subproject commit c04b33dc6da57ddd336b5d082b7ebfd5963bc21d