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)
* commit 'e78913052263af80855590659fb0f705e8f13c8a':
  configure: Provide an hardened toolchain option

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

diff --cc configure
Simple merge