From 97e4cc2d09d63e751cc95981ddc8e2464f86eb4b Mon Sep 17 00:00:00 2001
From: Robert Izzard <r.izzard@surrey.ac.uk>
Date: Wed, 11 Aug 2021 08:46:27 +0100
Subject: [PATCH] update test_random to allow a different tbse script
---
src/perl/scripts2/test_random.pl | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/src/perl/scripts2/test_random.pl b/src/perl/scripts2/test_random.pl
index c2ccef4f6..cbc699a60 100755
--- a/src/perl/scripts2/test_random.pl
+++ b/src/perl/scripts2/test_random.pl
@@ -107,7 +107,8 @@ sub runsystem
else
{
my $s = IO::Select->new();
- my $cmd = "env VALGRIND_ARGS=\"--log-file=/dev/stdout\" stdbuf -i 0 -e 0 -o 0 $nice $timeout tbse $valgrind --repeat $repeat --random_systems 1 --log_filename /tmp/c_log-$n.dat 2>&1 ";
+ my $tbse = $ENV{'tbse'} // 'tbse';
+ my $cmd = "env VALGRIND_ARGS=\"--log-file=/dev/stdout\" stdbuf -i 0 -e 0 -o 0 $nice $timeout $tbse $valgrind --repeat $repeat --random_systems 1 --log_filename /tmp/c_log-$n.dat 2>&1 ";
#print "CMD \n$cmd\n";
my $args;
--
GitLab