Skip to content

Commit

Permalink
run_cheribsd_tests: Turn off host kyua optimisation
Browse files Browse the repository at this point in the history
Unfortunately this doesn’t work currently.
  • Loading branch information
jrtc27 authored Dec 5, 2024
1 parent 2e1716b commit bc64b88
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion test-scripts/run_cheribsd_tests.py
Original file line number Diff line number Diff line change
Expand Up @@ -127,7 +127,9 @@ def run_cheribsd_test(qemu: boot_cheribsd.QemuCheriBSDInstance, args: argparse.N
if not qemu.check_ssh_connection():
tests_successful = False

host_has_kyua = shutil.which("kyua") is not None
# Host version can be too old
# TODO: Compare versions?
host_has_kyua = False # shutil.which("kyua") is not None

# Run the various cheribsdtest binaries
if args.run_cheribsdtest:
Expand Down

0 comments on commit bc64b88

Please sign in to comment.