From f4582b67f10e5cdbe13ef3f3112c709e950d2190 Mon Sep 17 00:00:00 2001 From: Carl Hetherington Date: Sun, 1 Feb 2026 21:58:18 +0100 Subject: Add --private option to run/tests script. --- run/tests | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/run/tests b/run/tests index 5a1e6bfd..c64335d0 100755 --- a/run/tests +++ b/run/tests @@ -30,6 +30,11 @@ while [[ $# -gt 0 ]]; do type="callgrind" shift ;; + --private) + private=$2 + shift + shift + ;; *) break ;; -- cgit v1.2.3