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)
commitefb0ea2af4a8afd51bd459aa9c1d6c51a1cba271
tree24980787ab15a09146ade30002b7a62d951e8423
parent3f06dfcdc6e9f9c671080dc681ee18717e662daf
parent518a22471e40604a158180a0660aabeeec65e07f
Merge commit '518a22471e40604a158180a0660aabeeec65e07f'

* commit '518a22471e40604a158180a0660aabeeec65e07f':
  configure: Be more helpful when requiring options set

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