Add a flag -fno-ghci-history
authorIan Lynagh <igloo@earth.li>
Thu, 1 Sep 2011 22:39:26 +0000 (23:39 +0100)
committerIan Lynagh <igloo@earth.li>
Thu, 1 Sep 2011 22:39:26 +0000 (23:39 +0100)
commitaf7840ecf8e4394a08df5b4dd3e665b3adec1dc2
tree1ff896d01004b450a6b7353ab20418afa36c98e3
parentb5b4aae437bba8c93bbe29e3678debceeb3f076e
Add a flag -fno-ghci-history

Allows you to turn off loading/storing the GHCi command history from/to
the ~/.ghc/ghci_history file.
compiler/main/DynFlags.hs
docs/users_guide/flags.xml
ghc/InteractiveUI.hs