Processing commands for control@bugs.debian.org: > tags 677417 + pending Bug #677417 [kfreebsd-kernel-headers] kfreebsd-source-9.0: _types.h breaks tcc as it uses gcc specific type __va_list Added tag(s) pending. > thanks Stopping processing here. Please contact me if you need assistance. -- 677417: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=677417 Debian Bug Tracking System Contact owner@bugs.debian.org with problems