diff --git a/src/perl/scripts2/test_random.pl b/src/perl/scripts2/test_random.pl index c2ccef4f65d6763f6e68a37275e7528271c47200..cbc699a60e02d931726c9716953afe5be1f8a644 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;