linux: fix uClibc ifdeffery

linux: fix uClibc ifdeffery

Remove duplicate inclusion of execinfo.h and make OS::DumpBacktrace 
a NOOP on uclibc.

Committed: http://code.google.com/p/v8/source/detail?r=14172

[Mostyn Bramley-Moore, 2013-03-25 21:52:32]

This was originally submitted here with the wrong account:
https://codereview.chromium.org/13018002/

[Mostyn Bramley-Moore, 2013-04-06 15:53:17]

Anyone able to review this small patch?

[Jakob Kummerow, 2013-04-08 09:31:27]

LGTM, but I can't find your name in the list of CLA signers. Please see
https://code.google.com/p/v8/wiki/Contributing#The_small_print .

[Mostyn Bramley-Moore, 2013-04-08 09:36:00]

I believe there is an agreement signed for all Opera developers (or it is in the
works at least), but I'm not sure how to verify this.  Are you able to check on
your end?

Also, should I add an *@opera.com line to the AUTHORS file in this patch?

[Jakob Kummerow, 2013-04-08 09:44:38]

On 2013/04/08 09:36:00, Mostyn Bramley-Moore wrote:
> I believe there is an agreement signed for all Opera developers (or it is in
the
> works at least), but I'm not sure how to verify this.  Are you able to check
on
> your end?

Likely that agreement is in the works, then. It hasn't made it onto the list yet
that I can access.

> Also, should I add an mailto:*@opera.com line to the AUTHORS file in this
patch?

AFAIK there's no legal need to update AUTHORS, but if you want (and in
particular if you're expecting more contributions), you can add Opera to the
list of organizations at the top of that file. Or you could wait until the first
significant patch.

[Mostyn Bramley-Moore, 2013-04-08 09:50:18]

On 2013/04/08 09:44:38, Jakob wrote:
> On 2013/04/08 09:36:00, Mostyn Bramley-Moore wrote:
> > I believe there is an agreement signed for all Opera developers (or it is in
> the
> > works at least), but I'm not sure how to verify this.  Are you able to check
> on
> > your end?
> 
> Likely that agreement is in the works, then. It hasn't made it onto the list
yet
> that I can access.

I had the same question when I submitted the first patches to the chromium repo,
but I'm not sure who you can OK this with- perhaps Darin?  

> > Also, should I add an mailto:*@opera.com line to the AUTHORS file in this
> patch?
> 
> AFAIK there's no legal need to update AUTHORS, but if you want (and in
> particular if you're expecting more contributions), you can add Opera to the
> list of organizations at the top of that file. Or you could wait until the
first
> significant patch.

I ask because IIRC the chromium repo has a presubmit check that fails without
this.

[Jakob Kummerow, 2013-04-09 08:02:33]

I've learned that we're good to go. I'll land this.

[Jakob Kummerow, 2013-04-09 08:03:46]

Oh, and thanks for the contribution, and sorry for the review delay!

[Jakob Kummerow, 2013-04-09 08:05:49]

Committed patchset #1 manually as r14172 (presubmit successful).