mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-31 16:35:28 +00:00
d2b82274db
With the new run tool, there is no more is_qemu_available function. However, some scripts still try to use it because only frequently used scripts were updated by now. The commit replaces the function calls with the new 'have_include power_on/qemu' check. Ref #1419