Don't pass "-nics 0" to qemu, because this option name has changed

from version to version and it's just not worth it.

diff --git a/src/utils/pintos b/src/utils/pintos
index fdaa91867c3ea7b8fd643c8a76c5c7c26cc50cf1..214e05198a17edd13271b024e601149f3a316c73 100755 (executable)
--- a/src/utils/pintos
+++ b/src/utils/pintos
@@ -449,7 +449,7 @@ sub run_qemu {
        push (@cmd, $option, $disks_by_iface[$iface]{FILENAME})
          if defined $disks_by_iface[$iface]{FILENAME};
     }
-    push (@cmd, '-m', $mem, '-nics', '0');
+    push (@cmd, '-m', $mem);
     push (@cmd, '-nographic') if $vga eq 'none';
     push (@cmd, '-serial', 'stdio') if $serial_out && $vga ne 'none';
     push (@cmd, '-S') if $debug eq 'monitor';