Merge commit '518a22471e40604a158180a0660aabeeec65e07f'
authorClément Bœsch <u@pkh.me>
Sat, 8 Apr 2017 12:51:56 +0000 (14:51 +0200)
committerClément Bœsch <u@pkh.me>
Sat, 8 Apr 2017 12:51:56 +0000 (14:51 +0200)
* commit '518a22471e40604a158180a0660aabeeec65e07f':
  configure: Be more helpful when requiring options set

Merged-by: Clément Bœsch <u@pkh.me>
1  2 
configure

diff --cc configure
Simple merge