Merge commit 'e78913052263af80855590659fb0f705e8f13c8a'
authorMichael Niedermayer <michaelni@gmx.at>
Tue, 29 Oct 2013 18:48:08 +0000 (19:48 +0100)
committerMichael Niedermayer <michaelni@gmx.at>
Tue, 29 Oct 2013 18:50:03 +0000 (19:50 +0100)
commit6c5f17e738a5d8a848fb3f2c5fe21f5ca91a9db9
tree8cf236f4e770bc0e01d085cb1c8111dd98866106
parentdf69af4ee1bcbefb83f0fa7e95f8c6886d8c5bba
parente78913052263af80855590659fb0f705e8f13c8a
Merge commit 'e78913052263af80855590659fb0f705e8f13c8a'

* commit 'e78913052263af80855590659fb0f705e8f13c8a':
  configure: Provide an hardened toolchain option

Merged-by: Michael Niedermayer <michaelni@gmx.at>
configure