Commit f89857f1c2639d4ec3e1e145a3bc3dda35f2d388

Philipp Wiesemann 2016-09-26T23:09:34

Updated configure script.