From d43d04939529b072c7eeec7be1e95017690303d6 Mon Sep 17 00:00:00 2001 From: Andrei Lascu Date: Tue, 28 Nov 2023 14:53:24 +0000 Subject: [PATCH] Omit `script` output file --- .buildbot.sh | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.buildbot.sh b/.buildbot.sh index 05753ba..0318cb7 100755 --- a/.buildbot.sh +++ b/.buildbot.sh @@ -50,7 +50,7 @@ args=( ) export BUILDBOT_PLATFORM=riscv64-purecap args=${args[@]} -script -c "python3 tests/run_cheri_examples.py $args" +script -O /dev/null -c "python3 tests/run_cheri_examples.py $args" echo "Running tests for 'morello-hybrid' using QEMU..." args=( @@ -66,7 +66,7 @@ args=( ) export BUILDBOT_PLATFORM=morello-hybrid args=${args[@]} -script -c "python3 tests/run_cheri_examples.py $args" +script -O /dev/null -c "python3 tests/run_cheri_examples.py $args" echo "Running tests for 'morello-purecap' using QEMU..." args=( @@ -82,4 +82,4 @@ args=( ) export BUILDBOT_PLATFORM=morello-purecap args=${args[@]} -script -c "python3 tests/run_cheri_examples.py $args" +script -O /dev/null -c "python3 tests/run_cheri_examples.py $args"