Licensing: gdb/osf-share/ is GPL-incompatible

[Jan Kratochvil <jan.kratochvil@redhat.com>]

Hi,

Matej Cepl has found gdb/osf-share/ contains "BSD with advertising" license:

/*
 * (c) Copyright 1990-1996 OPEN SOFTWARE FOUNDATION, INC.
 * (c) Copyright 1990-1996 HEWLETT-PACKARD COMPANY
 * (c) Copyright 1990-1996 DIGITAL EQUIPMENT CORPORATION
 * (c) Copyright 1991, 1992 Siemens-Nixdorf Information Systems
 * To anyone who acknowledges that this file is provided "AS IS" without
 * any express or implied warranty: permission to use, copy, modify, and
 * distribute this file for any purpose is hereby granted without fee,
 * provided that the above copyright notices and this notice appears in
 * all source code copies, and that none of the names listed above be used
 * in advertising or publicity pertaining to distribution of the software
 * without specific, written prior permission.  None of these organizations
 * makes any representations about the suitability of this software for
 * any purpose.
 */

This code is GPL-incompatible according to:
	http://www.gnu.org/licenses/license-list.html#OriginalBSD

Therefore gdb/+bfd/ etc. should contain an exception for its GPLv3+:
	http://www.gnu.org/licenses/gpl-faq.html#GPLIncompatibleLibs

Found this gdb/osf-share code is referenced only by:
gdb/Makefile.in:
hpux-thread.o: $(srcdir)/hpux-thread.c
	$(COMPILE) -I$(srcdir)/osf-share -I$(srcdir)/osf-share/HP800 \
		-I/usr/include/dce $(srcdir)/hpux-thread.c
	$(POSTCOMPILE)

Or do I miss something obvious?  IANAL (Matej Cepl is).


Thanks,
Jan