misc/build_helpers/check-interfaces.py: avoid spurious warnings about ignored excepti...
authordavid-sarah <david-sarah@jacaranda.org>
Fri, 18 May 2012 02:12:52 +0000 (02:12 +0000)
committerdavid-sarah <david-sarah@jacaranda.org>
Fri, 18 May 2012 02:12:52 +0000 (02:12 +0000)
commit97d6a162e0e349d51dc08051de31069616e6aa3a
tree5b035904cc2fa99f1939319488191256d66eba05
parentcc366903cecb23b952fab69adb8f61f008597a45
misc/build_helpers/check-interfaces.py: avoid spurious warnings about ignored exceptions on shutdown. Also make the check function able to write errors to an arbitrary stream.
misc/coding_tools/check-interfaces.py