Fix Windows build after #862. Thanks to @harig for the report.
authorNico Weber <nicolasweber@gmx.de>
Sat, 22 Nov 2014 19:43:33 +0000 (11:43 -0800)
committerNico Weber <nicolasweber@gmx.de>
Sat, 22 Nov 2014 19:43:33 +0000 (11:43 -0800)
commit13bd84f0ac493b28253f28be26b8ef4ca9bad41d
tree8a6d4b090a862cd2edaf864a2d69e639d866eb6a
parent76bdba6c3ecdcad67d675b5358dc4f8946def9d6
Fix Windows build after #862. Thanks to @harig for the report.
configure.py