diff --git a/repos/dde_linux/run/usb_terminal.run b/repos/dde_linux/run/usb_terminal.run index b200c40ef..484a809fa 100644 --- a/repos/dde_linux/run/usb_terminal.run +++ b/repos/dde_linux/run/usb_terminal.run @@ -1,7 +1,7 @@ # # Check if USB_RAW_DEVICE is set for Qemu # -if {![info exists ::env(USB_RAW_DEVICE)] && [is_qemu_available]} { +if {![info exists ::env(USB_RAW_DEVICE)] && [have_include power_on/qemu]} { puts "\nPlease define USB_RAW_DEVICE environment variable and set it to your USB device \n" exit 0 } diff --git a/repos/libports/run/libc_block.run b/repos/libports/run/libc_block.run index b6d22ee0c..a47061825 100644 --- a/repos/libports/run/libc_block.run +++ b/repos/libports/run/libc_block.run @@ -7,7 +7,7 @@ if {[have_spec linux]} { if {[expr [have_spec 64bit] && $use_atapi_drv]} { puts "ATAPI driver does not support 64 bit."; exit 0 } -if {![is_qemu_available]} { +if {![have_include power_on/qemu]} { puts "\nPlease setup your native sd or hard drive. Remove this fail stop"; puts "check when you have prepared your native environment.\n"; exit 0 diff --git a/repos/ports/run/seoul-disc.run b/repos/ports/run/seoul-disc.run index f0ea1ada4..e9b0cd157 100644 --- a/repos/ports/run/seoul-disc.run +++ b/repos/ports/run/seoul-disc.run @@ -27,7 +27,7 @@ set vcpus_to_be_used 1 source ${genode_dir}/repos/ports/run/seoul.inc -if {[is_qemu_available]} { +if {[have_include power_on/qemu]} { if {![file exists bin/seoul-disc.raw]} { puts "Please provide a disk image file to bin/seoul-disc.raw" diff --git a/repos/ports/run/seoul-kernelbuild.run b/repos/ports/run/seoul-kernelbuild.run index 4ebc537d5..f29789c0d 100644 --- a/repos/ports/run/seoul-kernelbuild.run +++ b/repos/ports/run/seoul-kernelbuild.run @@ -9,7 +9,7 @@ assert_spec nova -if {[is_qemu_available]} { +if {[have_include power_on/qemu]} { puts "\nAuto test running on Qemu is not recommended.\n" exit }