dev-lang/gnat-gpl: put a guards against tool renaming made twice
authorTupone Alfredo <tupone@gentoo.org>
Fri, 22 Nov 2019 12:02:54 +0000 (13:02 +0100)
committerTupone Alfredo <tupone@gentoo.org>
Fri, 22 Nov 2019 12:03:28 +0000 (13:03 +0100)
commit4278685f5e478d0b89859deaa2dcca88780c797e
treeb1487941997b57fc100280aeaa68a86c077da422
parent2687bcd235032807991b2fca9cc3653b66708c13
dev-lang/gnat-gpl: put a guards against tool renaming made twice

Package-Manager: Portage-2.3.76, Repoman-2.3.16
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
dev-lang/gnat-gpl/gnat-gpl-2016-r4.ebuild
dev-lang/gnat-gpl/gnat-gpl-2017-r1.ebuild
dev-lang/gnat-gpl/gnat-gpl-2018-r3.ebuild
dev-lang/gnat-gpl/gnat-gpl-2019-r1.ebuild