Bug#886714: make[8]: no: Command not found

2018-01-09 Thread Eugeniy Meshcheryakov
Hi, 9 січня 2018 о 21:02 +0100 Ralf Treinen написав(-ла): > Hello, > > On Tue, Jan 09, 2018 at 08:45:42AM +0100, Mathieu Malaterre wrote: > > > For some reason coccinelle FTBFS on mips*, it fails with: > > > > make[8]: Entering directory '/<>/commons' > > /usr/bin/ocamlc -unsafe -I ocamlextra

Bug#886714: make[8]: no: Command not found

2018-01-09 Thread Ralf Treinen
Hello, On Tue, Jan 09, 2018 at 08:45:42AM +0100, Mathieu Malaterre wrote: > For some reason coccinelle FTBFS on mips*, it fails with: > > make[8]: Entering directory '/<>/commons' > /usr/bin/ocamlc -unsafe -I ocamlextra -c ocamlextra/dumper.mli > no -unsafe -I ocamlextra -c commands.ml >

Bug#886714: make[8]: no: Command not found

2018-01-08 Thread Mathieu Malaterre
Package: coccinelle Version: 1.0.6.deb-1 Severity: important User: debian-m...@lists.debian.org Usertags: mips mipsel mipsel64 For some reason coccinelle FTBFS on mips*, it fails with: make[8]: Entering directory '/<>/commons' /usr/bin/ocamlc -unsafe -I ocamlextra -c ocamlextra/dumper.mli no