Bug#748577: arch/x86/tools/relocs.c per_cpu_load_addr missing "static"

2014-05-18 Thread Ben Hutchings
Control: tag -1 upstream On Sun, 2014-05-18 at 16:48 +0100, Michael Tautschnig wrote: > Package: linux > Version: 3.14.4-1 > Usertags: goto-cc > > During a rebuild of all Debian packages in a clean sid chroot (using > cowbuilder > and pbuilder) the build failed with the following error. Please n

Processed: Re: Bug#748577: arch/x86/tools/relocs.c per_cpu_load_addr missing "static"

2014-05-18 Thread Debian Bug Tracking System
Processing control commands: > tag -1 upstream Bug #748577 [linux] arch/x86/tools/relocs.c per_cpu_load_addr missing "static" Added tag(s) upstream. -- 748577: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=748577 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems -- To U

Bug#748577: arch/x86/tools/relocs.c per_cpu_load_addr missing "static"

2014-05-18 Thread Michael Tautschnig
Package: linux Version: 3.14.4-1 Usertags: goto-cc During a rebuild of all Debian packages in a clean sid chroot (using cowbuilder and pbuilder) the build failed with the following error. Please note that we use our research compiler tool-chain (using tools from the cbmc package), which permits ex