On 12/15/2015 06:45 PM, Pádraig Brady wrote:
> +# Ensure emit_mandatory_arg_note() is called if required
> +sc_ensure_emit_mandatory_arg_note:
> + @cd $(srcdir)/src && GIT_PAGER= git \
> + grep -l -- '^ *-[^-].*--.*[^[]=' *.c \
> + | xargs grep -L emit_mandatory_arg_note | grep . \
> + && { echo '$(ME): '"emit_mandatory_arg_note() missing" 1>&2; \
> + exit 1; } || :
> +
looks good.
I'd intuitively had searched the --help output instead of *.c,
but that's a matter of personal style. It seems yours doesn't
give a FP nor does it miss something. ;-)
Thanks!
Have a nice day,
Berny
