Merge commit '61a17423d3711cb34a18b44e1ec2510c2f70a56c'
authorJames Almer <jamrial@gmail.com>
Sun, 12 Nov 2017 03:38:09 +0000 (00:38 -0300)
committerJames Almer <jamrial@gmail.com>
Sun, 12 Nov 2017 03:38:09 +0000 (00:38 -0300)
commite0f84c303db71b4d57dff84e13f868f3f7cf7b5a
treefd44ff8035f130651fbe66a63f99a365f5895447
parentb998a56b0ac9744537837c668e32487d060be3c0
parent61a17423d3711cb34a18b44e1ec2510c2f70a56c
Merge commit '61a17423d3711cb34a18b44e1ec2510c2f70a56c'

* commit '61a17423d3711cb34a18b44e1ec2510c2f70a56c':
  configure: Miscellaneous small changes to helper functions

Merged-by: James Almer <jamrial@gmail.com>
configure