id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc,os,architecture,failure,difficulty,testcase,blockedby,blocking,related
4075,configure --help shows duplicate options,basvandijk,,"When I run `./configure --help` in the HEAD branch of ghc, I see the ""System types"" options two times:

{{{
$ ./configure --help
...
System types:
  --build=BUILD     configure for building on BUILD [guessed]
  --host=HOST       cross-compile to build programs to run on HOST [guessed]
  --target=TARGET   configure for building compilers for TARGET [guessed]

System types:
  --build=BUILD     configure for building on BUILD [guessed]
  --host=HOST       cross-compile to build programs to run on HOST [BUILD]
  --target=TARGET   configure for building compilers for TARGET [HOST]
...
}}}",bug,closed,normal,,Build System,6.13,fixed,,,Unknown/Multiple,Unknown/Multiple,Other,,,,,