X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Futils%2Fpintos;h=31f4a38dc867950e0a52b8906d65e103a88d5504;hb=73389b59f54bfed8eb0cb370a5ffec1223686a9e;hp=19ef70f650954680a8507bad26e5364c2e8ec226;hpb=0e3b7c61359944fe6282f783a7bc5f3c7b78790a;p=pintos-anon

diff --git a/src/utils/pintos b/src/utils/pintos
index 19ef70f..31f4a38 100755
--- a/src/utils/pintos
+++ b/src/utils/pintos
@@ -8,7 +8,7 @@ use Getopt::Long qw(:config bundling);
 
 # Command-line options.
 our ($start_time) = time ();
-our ($sim) = $ENV{PINTOSSIM};	# Simulator: bochs, qemu, or gsx.
+our ($sim);			# Simulator: bochs, qemu, or gsx.
 our ($debug) = "none";		# Debugger: none, monitor, or gdb.
 our ($mem) = 4;			# Physical RAM in MB.
 our ($serial_out) = 1;		# Send output to serial port?
@@ -130,8 +130,6 @@ Disk options: (name an existing FILE or specify SIZE in MB for a temp disk)
   --swap-disk=FILE|SIZE    Set swap disk file (default: swap.dsk)
 Other options:
   -h, --help               Display this help message.
-Environment variables:
-  PINTOSSIM                Select default simulator.
 EOF
     exit $exitcode;
 }