From: Ian Lynagh <igloo@earth.li>
Date: Tue, 12 Jun 2007 21:07:38 +0000 (+0000)
Subject: Tweak banner printing
X-Git-Tag: 2007-06-12^0
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=cedd4187afc6fabf7884a6dc42c3c47ea09624a3;hp=cedd4187afc6fabf7884a6dc42c3c47ea09624a3;p=ghc-hetmet.git

Tweak banner printing
* -{short,long}-ghci-banner are now dynamic options, so you can put
  ":set -short-ghci-banner" in .ghci
* The -v2 banner information now always tells you what compiler booted GHC,
  and what stage the compiler is. Thus we no longer assume that stage > 1
  iff GHCI is defined.
---