tree d39d8046984dd271a44db5addb35f75b599a390a
parent 7f132cc1a388b71ab3873aeb92d432e873fd3e85
author Gilles Peskine <Gilles.Peskine@arm.com> 1562259576 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1562339179 +0200

Allow running /somewhere/else/path/to/abi_check.py

Don't require abi_check.py to be the one in scripts/ under the current
directory.