Re: [patch] revised FreeBSD PowerPC support

[Joel Brobecker <brobecker@adacore.com>]

> Just to make it clear, is the below ok? I see that I'm going to be the
> first adding a copyright header :)

It looks OK to me, except that I am wondering about the syntax used
to write comments. Does "/* */" work in Makefiles? I would have
thought you'd use #.

> 
> Thanks,
> Andreas
> 
> config/powerpc/fbsd.mh
> ----
> /* Native config information for GDB on PowerPC systems running FreeBSD.
> 
>    Copyright (C) 2013 Free Software Foundation, Inc.
> 
>    This file is part of GDB.
> 
>    This program is free software; you can redistribute it and/or modify
>    it under the terms of the GNU General Public License as published by
>    the Free Software Foundation; either version 3 of the License, or
>    (at your option) any later version.
> 
>    This program is distributed in the hope that it will be useful,
>    but WITHOUT ANY WARRANTY; without even the implied warranty of
>    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
>    GNU General Public License for more details.
> 
>    You should have received a copy of the GNU General Public License
>    along with this program.  If not, see <http://www.gnu.org/licenses/>.  */
> 
> NATDEPFILES= fbsd-nat.o fork-child.o inf-ptrace.o ppcfbsd-nat.o bsd-kvm.o
> 
> LOADLIBES= -lkvm
> 
> ----

-- 
Joel