From 8ed4d1d7e4308289637d25be230336efd39b1e72 Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Sun, 30 Aug 2020 11:10:29 +0200
Subject: [PATCH] test: test process exit code

---
 tests/lean/Process.lean              | 4 ++++
 tests/lean/Process.lean.expected.out | 1 +
 2 files changed, 5 insertions(+)

diff --git a/tests/lean/Process.lean b/tests/lean/Process.lean
index 1be0debff2..50e21f71fa 100644
--- a/tests/lean/Process.lean
+++ b/tests/lean/Process.lean
@@ -1,5 +1,9 @@
 open IO.Process
 
+#eval do
+  child ← spawn { cmd := "sh", args := #["-c", "exit 1"] };
+  child.wait
+
 #eval do
   child ← spawn { cmd := "sh", args := #["-c", "echo hi!"] };
   child.wait
diff --git a/tests/lean/Process.lean.expected.out b/tests/lean/Process.lean.expected.out
index bce17e82fc..fd4910c635 100644
--- a/tests/lean/Process.lean.expected.out
+++ b/tests/lean/Process.lean.expected.out
@@ -1,3 +1,4 @@
+1
 hi!
 0
 "ho!\n"