Omit script output file

capablevms · Nov 28, 2023 · d43d049 · d43d049
1 parent c9c63ed
commit d43d049
Showing 1 changed file with 3 additions and 3 deletions.
diff --git 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"