diff options
| author | riastradh <riastradh@pkgsrc.org> | 2020-04-28 05:46:53 +0000 |
|---|---|---|
| committer | riastradh <riastradh@pkgsrc.org> | 2020-04-28 05:46:53 +0000 |
| commit | 9f6dacd78a93981aca5a876cef0a5d5906e718b7 (patch) | |
| tree | de293de4d39dfe7b6c012df3d6e9fb42f5d9d246 /chat/mumble | |
| parent | e86e5145216f0739ea43f211179a38d3a1c6ceeb (diff) | |
| download | pkgsrc-9f6dacd78a93981aca5a876cef0a5d5906e718b7.tar.gz | |
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
Diffstat (limited to 'chat/mumble')
0 files changed, 0 insertions, 0 deletions