>>>>> "GM" == Glenn Morris <rgm@gnu.org> writes:

    GM> boolean options should not have names ending in `-p'

Here is a corrected patch: