From 8b79e0f28cb28b52e4dc29487d5386136aa906d1 Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Sun, 30 Aug 2020 10:28:36 +0200
Subject: [PATCH] test: robustly fix test on Windows

---
 tests/lean/Process.lean | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/tests/lean/Process.lean b/tests/lean/Process.lean
index 05f3e1b6ba..1be0debff2 100644
--- a/tests/lean/Process.lean
+++ b/tests/lean/Process.lean
@@ -1,16 +1,16 @@
 open IO.Process
 
 #eval do
-  child ← spawn { cmd := "bash", args := #["-c", "echo hi!"] };
+  child ← spawn { cmd := "sh", args := #["-c", "echo hi!"] };
   child.wait
 
 #eval do
-  child ← spawn { cmd := "bash", args := #["-c", "echo ho!"], stdout := Stdio.piped };
+  child ← spawn { cmd := "sh", args := #["-c", "echo ho!"], stdout := Stdio.piped };
   child.wait;
   child.stdout.readToEnd
 
 #eval do
-  child ← spawn { cmd := "bash", args := #["-c", "head -n 1"], stdin := Stdio.piped, stdout := Stdio.piped };
+  child ← spawn { cmd := "head", args := #["-n1"], stdin := Stdio.piped, stdout := Stdio.piped };
   child.stdin.putStrLn "hu!";
   child.stdin.flush;
   child.wait;