From 14b6cb4bef3b9938349f4be1d4ce2a48c00c0a93 Mon Sep 17 00:00:00 2001
From: Denis Buzdalov <public@buzden.ru>
Date: Tue, 3 Oct 2023 17:23:35 +0300
Subject: [PATCH] [ re #3066 ] Make the rest of tests to use the same form as
 the others

---
 tests/idris2/basic/basic071/run       | 7 ++++---
 tests/idris2/basic/case001/run        | 6 +++---
 tests/idris2/basic/case002/run        | 4 ++--
 tests/idris2/basic/literals001/run    | 4 ++--
 tests/idris2/literate/literate018/run | 4 ++--
 tests/idris2/total/total021/run       | 9 ++++-----
 6 files changed, 17 insertions(+), 17 deletions(-)

diff --git a/tests/idris2/basic/basic071/run b/tests/idris2/basic/basic071/run
index d2f5648f3f9..e5944da27a0 100755
--- a/tests/idris2/basic/basic071/run
+++ b/tests/idris2/basic/basic071/run
@@ -1,5 +1,6 @@
-rm -rf build
-$1 --no-color --console-width 0 --no-banner --check B.idr
+. ../../../testutils.sh
+
+check B.idr
 
 # Set very close time for A and B TTC files
 touch A.idr
@@ -13,4 +14,4 @@ sync build/ttc/*/B.tt*
 
 echo "-- this should be the last line of output --"
 
-$1 --no-color --console-width 0 --no-banner --check B.idr
+check B.idr
diff --git a/tests/idris2/basic/case001/run b/tests/idris2/basic/case001/run
index 167500c1dea..c56b10dc1cf 100755
--- a/tests/idris2/basic/case001/run
+++ b/tests/idris2/basic/case001/run
@@ -1,4 +1,4 @@
-rm -rf build
+. ../../../testutils.sh
 
-$1 --no-color --console-width 0 --no-banner --codegen chez InlineCase.idr -o inline-case
-grep "define InlineCase-product" build/exec/inline-case_app/inline-case.ss
\ No newline at end of file
+idris2 --codegen chez InlineCase.idr -o inline-case
+grep "define InlineCase-product" build/exec/inline-case_app/inline-case.ss
diff --git a/tests/idris2/basic/case002/run b/tests/idris2/basic/case002/run
index 43b46c6ae5d..49bc952d9d3 100755
--- a/tests/idris2/basic/case002/run
+++ b/tests/idris2/basic/case002/run
@@ -1,3 +1,3 @@
-rm -rf build
+. ../../../testutils.sh
 
-$1 --no-color --console-width 0 --no-banner --check WhereData.idr
+check WhereData.idr
diff --git a/tests/idris2/basic/literals001/run b/tests/idris2/basic/literals001/run
index 71e882e509e..d35387bb391 100755
--- a/tests/idris2/basic/literals001/run
+++ b/tests/idris2/basic/literals001/run
@@ -1,3 +1,3 @@
-rm -rf build
+. ../../../testutils.sh
 
-$1 --no-color --console-width 0 --no-banner -c Test.idr
+check Test.idr
diff --git a/tests/idris2/literate/literate018/run b/tests/idris2/literate/literate018/run
index 50b704f8832..34dfa92ae66 100755
--- a/tests/idris2/literate/literate018/run
+++ b/tests/idris2/literate/literate018/run
@@ -1,3 +1,3 @@
-rm -rf build
+. ../../../testutils.sh
 
-$1  --no-color --console-width 0 --no-banner --check Test.lidr.md
+check Test.lidr.md
diff --git a/tests/idris2/total/total021/run b/tests/idris2/total/total021/run
index 1f977a6226b..e6961b34398 100755
--- a/tests/idris2/total/total021/run
+++ b/tests/idris2/total/total021/run
@@ -1,6 +1,5 @@
-rm -rf build
-
-$1 --no-color --console-width 0 --no-banner --check Issue-3030.idr
-$1 --no-color --console-width 0 --no-banner --check Issue-3030b.idr
-$1 --no-color --console-width 0 --no-banner --check Issue-524.idr
+. ../../../testutils.sh
 
+check Issue-3030.idr
+check Issue-3030b.idr
+check Issue-524.idr