From 3fb146fad21394edf4152f4c3983efac8b3cf59d Mon Sep 17 00:00:00 2001
From: tydeu <tydeu@hatpress.net>
Date: Thu, 8 Jun 2023 14:05:04 -0400
Subject: [PATCH] chore: fix test on MacOS

---
 test/50/test.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/test/50/test.sh b/test/50/test.sh
index fe9549c5f4..a2aac3d4d2 100755
--- a/test/50/test.sh
+++ b/test/50/test.sh
@@ -19,7 +19,8 @@ ${LAKE} build -KleancArgs=-DBAR | tee -a ../produced.out
 
 ${LAKE} build
 echo "# link args" | tee -a ../produced.out
-${LAKE} build -KlinkArgs=-Lbuild/lib | tee -a ../produced.out
+# Use `head -n1` to avoid extranous warnings on MacOS with current Lean
+${LAKE} build -KlinkArgs=-Lbuild/lib | head -n1 | tee -a ../produced.out
 
 # test
 if [ "$OS" = Windows_NT ]; then