From 8afe37640ca54e9b4efb0a93453dc445062bbf90 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 7 Jul 2019 09:57:10 +0100
Subject: [PATCH] break out sometest-run

---
 sometest-run       | 6 ++++++
 sometest-to-tested | 2 +-
 2 files changed, 7 insertions(+), 1 deletion(-)
 create mode 100755 sometest-run

diff --git a/sometest-run b/sometest-run
new file mode 100755
index 0000000..f5c74e4
--- /dev/null
+++ b/sometest-run
@@ -0,0 +1,6 @@
+#!/bin/bash
+
+set -e
+set -o pipefail
+
+time nice tests/using-intree tests/run-all
diff --git a/sometest-to-tested b/sometest-to-tested
index 484be9e..90b16a9 100755
--- a/sometest-to-tested
+++ b/sometest-to-tested
@@ -5,6 +5,6 @@ set -e
 set -o pipefail
 
 ${0%/*}/setting-tests-env-vars \
-time nice tests/using-intree tests/run-all
+${STTM_RUN_TEST- ${0%/*}/sometest-run }
 
 git push main HEAD:${STTM_TESTED-tested}
-- 
2.30.2