diff --git a/tests/lean/interactive/mk_input.sh b/tests/lean/interactive/mk_input.sh
index 4482117bb3..849fa4f317 100755
--- a/tests/lean/interactive/mk_input.sh
+++ b/tests/lean/interactive/mk_input.sh
@@ -2,6 +2,7 @@
 # generate server input from "--^" markers
 INPUT="$(cat)"
 ESC_INPUT="${INPUT//$'\n'/\\n}"
+ESC_INPUT="${ESC_INPUT//$'\r'/}"
 ESC_INPUT="${ESC_INPUT//\"/\\\"}"
 echo "{\"seq_num\": 0, \"command\": \"sync\", \"file_name\": \"f\", \"content\": \"$ESC_INPUT\"}"
 awk '{