From a889a7387cb50fff29e10628b8d55fd7f385ff46 Mon Sep 17 00:00:00 2001 From: tydeu Date: Thu, 4 Aug 2022 22:23:46 -0400 Subject: [PATCH] test: make test 44 more consistent --- test/44/expected.out | 1 - test/44/test.sh | 4 ++++ 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/test/44/expected.out b/test/44/expected.out index 7023e046c3..0914251652 100644 --- a/test/44/expected.out +++ b/test/44/expected.out @@ -3,5 +3,4 @@ Compiling Hello Linking hello Building Hello Compiling Hello -Building Main Linking hello diff --git a/test/44/test.sh b/test/44/test.sh index 3128582128..418450627c 100755 --- a/test/44/test.sh +++ b/test/44/test.sh @@ -12,6 +12,10 @@ echo 'def hello := "old"' > hello/Hello.lean $LAKE -d hello build --old | tee produced.out echo 'def hello := "normal"' > hello/Hello.lean $LAKE -d hello build | tee -a produced.out + +grep -i main produced.out +grep -i hello produced.out > produced.out.tmp +mv produced.out.tmp produced.out if [ "$OS" = Windows_NT ]; then sed -i 's/.exe//g' produced.out diff --strip-trailing-cr expected.out produced.out