Add support for both qemu and qemu-system-i386 binaries in pintos

1 files changed, 6 insertions, 1 deletions

diff --git a/src/utils/pintos b/src/utils/pintos
index 2b5dad9..ac1c0bf 100644..100755
--- a/src/utils/pintos
+++ b/src/utils/pintos
@@ -472,7 +472,12 @@ sub run_qemu {
       if $vga eq 'terminal';
     print "warning: qemu doesn't support jitter\n"
       if defined $jitter;
-    my (@cmd) = ('qemu');
+    use File::Which qw(which where);
+    my $path = which 'qemu';
+    if ($path eq "") {
+        $path = which 'qemu-system-i386';
+    }
+    my (@cmd) = ($path);
     for my $iface (0...3) {
 	my ($option) = ('-hda', '-hdb', '-hdc', '-hdd')[$iface];
 	push (@cmd, $option, $disks_by_iface[$iface]{FILE_NAME})