Try to fix #685
authorNico Weber <nicolasweber@gmx.de>
Wed, 11 Nov 2015 21:54:14 +0000 (13:54 -0800)
committerNico Weber <nicolasweber@gmx.de>
Wed, 11 Nov 2015 21:54:14 +0000 (13:54 -0800)
commit805875b44aa2d52cf5eb943db055d3b7e9c8ed21
tree9e15c6ef4d307dee0f9a51732449aed507770a12
parentb1129b15ffad601a18ff4ac83130a71f5de64e43
Try to fix #685
configure.py