diff options
| author | jaapb <jaapb@pkgsrc.org> | 2017-07-13 10:27:27 +0000 |
|---|---|---|
| committer | jaapb <jaapb@pkgsrc.org> | 2017-07-13 10:27:27 +0000 |
| commit | 2d0c5c10395945452d277811814b319cdea13511 (patch) | |
| tree | d922e686f83895529543984fe9000f932bbcc753 /misc | |
| parent | 87cbca5a9b9c4e651a2cbffbf6f0e8a729dcce83 (diff) | |
| download | pkgsrc-2d0c5c10395945452d277811814b319cdea13511.tar.gz | |
Added bash to USE_TOOLS. Thanks to joerg@ for pointing out that it's
needed.
Diffstat (limited to 'misc')
| -rw-r--r-- | misc/ocaml-opam/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/misc/ocaml-opam/Makefile b/misc/ocaml-opam/Makefile index b107113c86d..a860a2f6319 100644 --- a/misc/ocaml-opam/Makefile +++ b/misc/ocaml-opam/Makefile @@ -1,4 +1,4 @@ -# $NetBSD: Makefile,v 1.13 2017/07/11 10:46:23 jaapb Exp $ +# $NetBSD: Makefile,v 1.14 2017/07/13 10:27:27 jaapb Exp $ VERSION= 2.0.0_beta3 GITHUB_PROJECT= opam @@ -15,7 +15,7 @@ LICENSE= gnu-lgpl-v3 MAKE_JOBS_SAFE= no HAS_CONFIGURE= yes -USE_TOOLS+= gawk gmake +USE_TOOLS+= bash gawk gmake CONFIGURE_ARGS+= --prefix=${PREFIX} --mandir=${PREFIX}/${PKGMANDIR} |