Matthew Flatt
Results
431
comments of
Matthew Flatt
The second `configure` is the relevant one for those flags, since I think those are meant to configure the result. They would be fine to use for the first `./configure`...