diff --git a/scripts/dev_cli.sh b/scripts/dev_cli.sh index 264abc167..518d4ee01 100755 --- a/scripts/dev_cli.sh +++ b/scripts/dev_cli.sh @@ -379,6 +379,10 @@ cmd_tests() { exported_device="/dev/mshv" fi + if [ ! -e "${exported_device}" ] ; then + die "${exported_device} does not exist on the system" + fi + set -- '--hypervisor' "$hypervisor" "$@" ensure_build_dir