From 26682996a2bf33a095546a4947e28ffb58dd0588 Mon Sep 17 00:00:00 2001 From: Ben Pfaff Date: Wed, 5 Apr 2006 20:30:48 +0000 Subject: [PATCH] Allow PINTOSSIM environment variable to select default simulator. --- src/utils/pintos | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/utils/pintos b/src/utils/pintos index 0c1f34d..fe7d954 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); # Simulator: bochs, qemu, or gsx. +our ($sim) = $ENV{PINTOSSIM}; # 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,6 +130,8 @@ 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; } -- 2.30.2