From: simonmar <unknown>
Date: Thu, 2 Dec 1999 13:55:33 +0000 (+0000)
Subject: [project @ 1999-12-02 13:55:33 by simonmar]
X-Git-Tag: Approximately_9120_patches~5445
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=53b2fe61a2390faeca82cf7b9d2c8f6a360aa5f8;p=ghc-hetmet.git

[project @ 1999-12-02 13:55:33 by simonmar]
Relegate the "ignoring heap-size setting option..." messages to -v.
---

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; };