Merge pull request #3436 from oresths:compiler_option
authorVadim Pisarevsky <vadim.pisarevsky@gmail.com>
Mon, 24 Nov 2014 09:37:27 +0000 (09:37 +0000)
committerVadim Pisarevsky <vadim.pisarevsky@gmail.com>
Mon, 24 Nov 2014 09:37:27 +0000 (09:37 +0000)

Trivial merge