Bug#887686: brisk-menu: frequent parallel FTBFS

2018-01-18 Thread Mike Gabriel
HI, On Fr 19 Jan 2018 05:08:29 CET, Adrian Bunk wrote: Source: brisk-menu Version: 0.5.0-2 Severity: serious https://buildd.debian.org/status/package.php?p=brisk-menu&suite=sid ... FAILED: src/frontend/brisk-frontend@sta/category-button.c.o cc -Isrc/frontend/brisk-frontend@sta -Isrc/fronten

Bug#887686: brisk-menu: frequent parallel FTBFS

2018-01-18 Thread Adrian Bunk
Source: brisk-menu Version: 0.5.0-2 Severity: serious https://buildd.debian.org/status/package.php?p=brisk-menu&suite=sid ... FAILED: src/frontend/brisk-frontend@sta/category-button.c.o cc -Isrc/frontend/brisk-frontend@sta -Isrc/frontend -I../src/frontend -Isrc/lib -I../src/lib -Isrc/backend -