diff options
| -rw-r--r-- | dev-ml/camlp5/camlp5-7.11.ebuild | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/dev-ml/camlp5/camlp5-7.11.ebuild b/dev-ml/camlp5/camlp5-7.11.ebuild index 91b242f306d0..12f10b2cd865 100644 --- a/dev-ml/camlp5/camlp5-7.11.ebuild +++ b/dev-ml/camlp5/camlp5-7.11.ebuild @@ -19,7 +19,8 @@ DEPEND="dev-lang/ocaml" RDEPEND="${DEPEND}" QA_FLAGS_IGNORED=( - /usr/bin/camlp5{o,r}.opt + /usr/bin/camlp5o.opt + /usr/bin/camlp5r.opt ) DOCS="CHANGES DEVEL ICHANGES README.md UPGRADING MODE" |