Subject: CVS commit: pkgsrc/lang/coq
From: Taylor R Campbell
Date: 2020-04-28 07:46:53
Message id: 20200428054654.05C8AFB27@cvs.NetBSD.org
Log Message:
lang/coq: needs bash as tool

Otherwise build fails with:

   OCAMLOPT -o bin/coqide
   CHECK revision
   env: bash: No such file or directory
   gmake[1]: *** [Makefile.dev:34: revision] Error 127
   gmake[1]: Leaving directory '/tmp/pkgbuild/2020Q1/lang/coq/work/coq-8.10.2'
   gmake: *** [Makefile:179: submake] Error 2
Files:
RevisionActionfile
1.132modifypkgsrc/lang/coq/Makefile