From 53b2fe61a2390faeca82cf7b9d2c8f6a360aa5f8 Mon Sep 17 00:00:00 2001 From: simonmar Date: Thu, 2 Dec 1999 13:55:33 +0000 Subject: [PATCH] [project @ 1999-12-02 13:55:33 by simonmar] Relegate the "ignoring heap-size setting option..." messages to -v. --- ghc/driver/ghc.lprl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/ghc/driver/ghc.lprl b/ghc/driver/ghc.lprl index 0fc6fe1..adfe149 100644 --- a/ghc/driver/ghc.lprl +++ b/ghc/driver/ghc.lprl @@ -3307,7 +3307,7 @@ arg: while($_ = $Args[0]) { } elsif ($heap_size >= $Specific_heap_size) { $Specific_heap_size = $heap_size; } else { - print STDERR "$Pgm: ignoring heap-size-setting option ($_)...not the largest seen\n"; + print STDERR "$Pgm: ignoring heap-size-setting option ($_)...not the largest seen\n" if $Verbose; } next arg; }; @@ -3329,7 +3329,7 @@ arg: while($_ = $Args[0]) { } elsif ($stk_size >= $Specific_stk_size) { $Specific_stk_size = $stk_size; } else { - print STDERR "$Pgm: ignoring stack-size-setting option ($flag $stk_size)...not the largest seen\n"; + print STDERR "$Pgm: ignoring stack-size-setting option ($flag $stk_size)...not the largest seen\n" if $Verbose; } next arg; }; -- 1.7.10.4