Make errorcodes.py return a non-zero code on failure