From 39123d95ba252a473acd5e7c47d215f00b673438 Mon Sep 17 00:00:00 2001 From: Ben Pfaff Date: Wed, 5 Apr 2006 19:33:33 +0000 Subject: [PATCH] Warn if timeout used with debugger. Thanks to Alicia Chen for question. --- src/utils/pintos | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/utils/pintos b/src/utils/pintos index eee6384..0c1f34d 100755 --- a/src/utils/pintos +++ b/src/utils/pintos @@ -85,6 +85,9 @@ sub parse_command_line { $sim = "bochs" if !defined $sim; $debug = "none" if !defined $debug; $vga = "window" if !defined $vga; + + print "warning: -T or --timeout should not be used with --$debug\n" + if defined ($timeout) && $debug ne 'none'; } # usage($exitcode). -- 2.30.2