configure: Group toolchain options together in help output
authorDiego Biurrun <diego@biurrun.de>
Tue, 11 Mar 2014 17:52:44 +0000 (18:52 +0100)
committerDiego Biurrun <diego@biurrun.de>
Wed, 12 Mar 2014 13:00:19 +0000 (14:00 +0100)
commitb3c6ee199e75bbad2908253f11e871500dd38531
tree944392a62e275e1976842eebff67b319f26c15ae
parente77a2ea9505863e50bf013706f66bf8b7325e524
configure: Group toolchain options together in help output
configure