X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Futils%2Fpintos;h=f0ab60c25d717c424a48dda0cc3e29cd79328083;hb=05532706c2da3ebb71acc6e94e68e4fd45b5758a;hp=31f4a38dc867950e0a52b8906d65e103a88d5504;hpb=b51bfd75c7f55f008d67ec13d895694fbfa22430;p=pintos-anon

diff --git a/src/utils/pintos b/src/utils/pintos
index 31f4a38..f0ab60c 100755
--- a/src/utils/pintos
+++ b/src/utils/pintos
@@ -448,6 +448,7 @@ sub run_qemu {
 	  if defined $disks_by_iface[$iface]{FILE_NAME};
     }
     push (@cmd, '-m', $mem);
+    push (@cmd, '-net', 'none');
     push (@cmd, '-nographic') if $vga eq 'none';
     push (@cmd, '-serial', 'stdio') if $serial_out && $vga ne 'none';
     push (@cmd, '-S') if $debug eq 'monitor';