From d5878a9d6bd7a489a9f1392621c484e5c0070854 Mon Sep 17 00:00:00 2001
From: Mathew Polzin <matt.polzin@gmail.com>
Date: Mon, 9 Dec 2024 21:09:05 -0600
Subject: [PATCH] prepare reusable test helper

---
 tests/run.sh          | 2 ++
 tests/table_query/run | 2 +-
 2 files changed, 3 insertions(+), 1 deletion(-)
 create mode 100755 tests/run.sh

diff --git a/tests/run.sh b/tests/run.sh
new file mode 100755
index 0000000..cb31be8
--- /dev/null
+++ b/tests/run.sh
@@ -0,0 +1,2 @@
+#!/usr/bin/env bash
+$1 --no-color --console-width 0 --no-banner --package pg-idris --package pg-idris-tests --package indexed --package elab-util --package parser --package parser-json $2 < $3
diff --git a/tests/table_query/run b/tests/table_query/run
index bf0502f..6c62e56 100644
--- a/tests/table_query/run
+++ b/tests/table_query/run
@@ -1,3 +1,3 @@
-$1 --no-color --console-width 0 --no-banner --package pg-idris --package pg-idris-tests --package indexed --package parser-json TableQuery.idr < input
+../run.sh $1 TableQuery.idr input
 
 rm -rf build