-PCI scanning

[pintos-anon] / src / utils / pintos

diff --git a/src/utils/pintos b/src/utils/pintos
index 40a240ce974a66c0d590597be4bed25bed0e52dd..47fdb3ff73c307b15d9ee512ae50481c702215f1 100755 (executable)
--- a/src/utils/pintos
+++ b/src/utils/pintos
@@ -327,8 +327,8 @@ sub run_vm {
        print VMX "serial0.fileName = \"pintos.out\"\n";
 
        if (! -e 'null.bin') {
-           open (NULL, ">null.bin") or die "null.bin: create: $!\n";
-           close (NULL);
+           open (NULLY, ">null.bin") or die "null.bin: create: $!\n";
+           close (NULLY);
        }
 
        for (my ($i) = 0; $i < 4; $i++) {