Merge commit '5292e97c42b05db7ad4e51c1ea756b12fdf721ff'
authorJames Almer <jamrial@gmail.com>
Fri, 30 Mar 2018 00:03:33 +0000 (21:03 -0300)
committerJames Almer <jamrial@gmail.com>
Fri, 30 Mar 2018 00:03:33 +0000 (21:03 -0300)
commit44df2e858889ab8e41d6a9f403433d7adc304bbe
treecd38d8214b2ef7087f6c5a255697e1227e414252
parentbe6749c7190e8dd4a5fc44b1efef6cfac3209b5f
parent5292e97c42b05db7ad4e51c1ea756b12fdf721ff
Merge commit '5292e97c42b05db7ad4e51c1ea756b12fdf721ff'

* commit '5292e97c42b05db7ad4e51c1ea756b12fdf721ff':
  configure: Document available options for the --toolchain parameter

Merged-by: James Almer <jamrial@gmail.com>
configure