#5992: Silence gen_contents_index for the common case.
---------------------------------+------------------------------------------
Reporter: td123 | Owner: td123
Type: feature request | Status: new
Priority: normal | Milestone: 7.6.1
Component: Documentation | Version: 7.4.1
Keywords: | Os: Unknown/Multiple
Architecture: Unknown/Multiple | Failure: None/Unknown
Difficulty: Unknown | Testcase:
Blockedby: | Blocking:
Related: |
---------------------------------+------------------------------------------
Comment(by td123):
Attached 2 patches, 1 for ghc 7.4.2 and 1 for ghc HEAD that implements
this feature request.
I had to submit 2 patches since gen_contents_index differs in the 2
versions.
I looked into using getopts and getopt (gnu) both of which were not good.
getopts only supports single character flags and getopt (gnu) wouldn't be
supported on BSD and mac systems.
So I implemented my own flag parser.
Also added a --help flag for user convenience since it seemed simple.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5992#comment:2>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
