Make configure.py work with Python. Fixes issue #877.
authorNico Weber <nicolasweber@gmx.de>
Wed, 3 Dec 2014 16:10:44 +0000 (08:10 -0800)
committerNico Weber <nicolasweber@gmx.de>
Wed, 3 Dec 2014 16:11:33 +0000 (08:11 -0800)
commit475918a5130f5eca18266f907adff1036f3199fc
tree1471a0d7cdf0e035f5c92d2e64e9e66eb1588e41
parentb0e2c5bfecc5ec674f891c75bc7fc19e2b36812d
Make configure.py work with Python. Fixes issue #877.

Patch from @TheOneRing!
configure.py