chore: test 44 shell script fixes

leanprover · Aug 3, 2022 · d7b2dcf · d7b2dcf
1 parent de3daae
commit d7b2dcf
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/test/44/test.sh b/test/44/test.sh
@@ -12,9 +12,9 @@ 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
-if [ "`uname`" = Darwin ]; then
-  sed -i '' 's/.exe//g' produced.out
-else
+if [ "$OS" = Windows_NT ]; then
   sed -i 's/.exe//g' produced.out
+  diff --strip-trailing-cr expected.out produced.out
+else
+  diff expected.out produced.out
 fi
-diff expected.out produced.out