denemo-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Denemo-devel] [bug #35749] Fix signal handler


From: Richard Shann
Subject: [Denemo-devel] [bug #35749] Fix signal handler
Date: Tue, 11 Aug 2015 20:00:05 +0000
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Firefox/31.0 Iceweasel/31.8.0

Follow-up Comment #11, bug #35749 (project denemo):

>From my limited understanding those small programs are not erroneous since
they are not threaded. They set a signal handler then cause a floating point
exception then the signal handler exits if the exception caused a signal
otherwise main exits.
But you would need to find the authors to verify this (I guess it is part of
automake or whatever the gnu system for creating makefiles is called).

    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/bugs/?35749>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/




reply via email to

[Prev in Thread] Current Thread [Next in Thread]