Thank you, both of you! Have a nice weekend,
Marc Am Fr., 15. Mai 2020 um 23:04 Uhr schrieb Bruno Haible <br...@clisp.org>: > > Hi Paul, > > > I don't think we need to go that far, since c-stack is already using > > ignore_value. I installed the attached. > > You beat me to it by 2 minutes :) > > I verified that the patch fixes the warning that occurred with > ./configure CPPFLAGS="-Wall -DDEBUG" --with-libsigsegv-prefix=... > > Bruno >