diff options
| author |  Junio C Hamano <gitster@pobox.com> | 2011-06-18 18:07:03 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2011-06-20 12:32:39 -0700 |
| commit | 6520c84685660fc995a405d7b7511a903fc12e18 (patch) | |
| tree | 6b23c273559196acb209f9849a832cfabdc43675 /compat/win32 | |
| parent | Merge branch 'di/no-no-existant' (diff) | |
| download | tgif-6520c84685660fc995a405d7b7511a903fc12e18.tar.xz | |
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>
Diffstat (limited to 'compat/win32')
0 files changed, 0 insertions, 0 deletions