diff options
-rwxr-xr-x | bin/reproducible_setup_fdroid_build_environment.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/bin/reproducible_setup_fdroid_build_environment.sh b/bin/reproducible_setup_fdroid_build_environment.sh index 975bd74b..b34037a1 100755 --- a/bin/reproducible_setup_fdroid_build_environment.sh +++ b/bin/reproducible_setup_fdroid_build_environment.sh @@ -29,8 +29,9 @@ cleanup_all() { trap cleanup_all INT TERM EXIT # report info about virtualization -dmesg | grep -i -e hypervisor -e qemu -e kvm -lspci | grep -i -e virtio -e virtualbox -e qemu -e kvm +(dmesg | grep -i -e hypervisor -e qemu -e kvm) || true +(lspci | grep -i -e virtio -e virtualbox -e qemu -e kvm) || true +lsmod if systemd-detect-virt -q ; then echo "Virtualization is used:" `systemd-detect-virt` else |