Reference:
 <http://debbugs.gnu.org/cgi/bugreport.cgi?bug=8784>

On Thursday 02 June 2011, Stefano Lattarini wrote:
> Severity: wishlist
> 
> Hello automakers.
> 
> Continuing with the good trend of avoiding to impinge on the user
> namespace, we should start supporting AM_DISTCHECK_CONFIGURE_FLAGS
> in addition to DISTCHECK_CONFIGURE_FLAGS, so that the former can be
> reserved for the developer to be set in the 'Makefile.am's, and the
> latter left for the user, packager or tester to use freely.
> 
> Sorry for the curtness of this message, but it is thought more as
> a "note to self" than a bug report proper.
> 
> Regards,
>   Stefano
> 
> 
Implemented in the first one of the attached patches.  The second patch
is a follow-up updating the "maintainer-check" rules accordingly.

OK for maint?  This should be quite uncontroversial, so I'll push in 72
hours if there is no review by then.

Regards,
  Stefano