projects / git.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 28eb1af) | patch
Add option to disable NORETURN
authorJunio C Hamano <gitster@pobox.com>
Sun, 19 Jun 2011 01:07:03 +0000 (18:07 -0700)
committerJunio C Hamano <gitster@pobox.com>
Mon, 20 Jun 2011 19:32:39 +0000 (12:32 -0700)
commit6520c84685660fc995a405d7b7511a903fc12e18
tree6b23c273559196acb209f9849a832cfabdc43675tree | snapshot
parent28eb1afec90fab398fc58a1d6119b9e99a733f87commit | diff
Add option to disable NORETURN

Due to a bug in gcc 4.6+ it can crash when doing profile feedback
with a noreturn function pointer

(http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49299)

This adds a Makefile variable to disable noreturns.

[Patch by Junio, description by Andi Kleen]

Signed-off-by: Andi Kleen <ak@linux.intel.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Makefile diff | blob | history
git-compat-util.h diff | blob | history
Git—the stupid content tracker