[Bug driver/71429] New: Rename -W[no-]#pragma-messages to -W[no-]pragma-messages

[zeratul976 at hotmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71429

            Bug ID: 71429
           Summary: Rename -W[no-]#pragma-messages to
                    -W[no-]pragma-messages
           Product: gcc
           Version: 5.1.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: driver
          Assignee: unassigned at gcc dot gnu.org
          Reporter: zeratul976 at hotmail dot com
  Target Milestone: ---

# is a special character that begins a comment in many scripting environments,
including makefiles. Escaping it is more trouble than it's worth.

Please stick to boring characters in flag names.