scripts/check-compilers
changeset 2467 2025a571895e
parent 2062 35e0355c6d9b