Bug#844777: why FTBFS on mips*, ppc64el, s390x: cannot stat './META.frama-c-jessie'

Hi Adrian, On Sat, Nov 19, 2016 at 01:06:23AM +0200, Adrian Bunk wrote: > Source: why > Version: 2.36-2 > Severity: serious > > https://buildd.debian.org/status/package.php?p=why=sid > > ... > mkdir -p /«PKGBUILDDIR»/debian/why/usr/share/why/coq > cp -f lib/coq/Jessie_memory_model.vo >

Bug#844777: why FTBFS on mips*, ppc64el, s390x: cannot stat './META.frama-c-jessie'

Source: why Version: 2.36-2 Severity: serious https://buildd.debian.org/status/package.php?p=why=sid ... mkdir -p /«PKGBUILDDIR»/debian/why/usr/share/why/coq cp -f lib/coq/Jessie_memory_model.vo /«PKGBUILDDIR»/debian/why/usr/share/why/coq /usr/bin/make -C frama-c-plugin install make[3]: Entering