Max Kellermann d32ed194e8 python/build/autotools.py: dump config.log on configure error ... For better error logs on CI.		2023-05-21 20:41:44 +02:00
..
build	python/build/autotools.py: dump config.log on configure error	2023-05-21 20:41:44 +02:00