From e6f3c5cc22b83a723e3c5dc2d2bbfd37db83174e Mon Sep 17 00:00:00 2001
From: Mario Carneiro <di.gama@gmail.com>
Date: Wed, 21 Jun 2017 02:24:51 -0400
Subject: [PATCH] fix(tests/lean/interactive/mk_input): strip \r from input
 files (win)

---
 tests/lean/interactive/mk_input.sh | 1 +
 1 file changed, 1 insertion(+)

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 '{