tree f6cc2cc0cb2f3fbe3c3a0090e6189bcdfd708704
parent 2e3aca2c9e1af86d279e6a6eae5d7e0d9d6a4e1e
author Janos Follath <janos.follath@arm.com> 1458318500 +0000
committer Janos Follath <janos.follath@arm.com> 1458319630 +0000

Fix a typo that confuses check-names.sh