On 9/17/20 1:53 PM, Bruno Haible wrote:
> -  {
> -    $1
> -  } AS_MESSAGE_FD>/dev/null
> +  exec GL_TMP_FD>&AS_MESSAGE_FD AS_MESSAGE_FD>/dev/null
> +  $1
> +  exec AS_MESSAGE_FD>&GL_TMP_FD AS_MESSAGE_FD>&-

If a trap occurs during $1 and 'configure' outputs something to stderr before it 
exits, the output could be lost due to this patch.

Looking into it further, gl_SILENT is iffy as a general macro, as discarding 
stderr could make scripts harder to debug. Since gl_SILENT is used in just one 
place in Gnulib and it's used only to prettify the user messages, I took the 
liberty of trying to prettify the messages in a simpler way that doesn't need 
gl_SILENT, by installing the attached patch into Gnulib. I hope this suffices to 
fix the issue with gl_SIGNALBLOCKING and cached configuration variables.