[Bug ada/87972] New: remove -f*-prefix-map= options from Ada Library Information files

[nicolas at debian dot org]

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

            Bug ID: 87972
           Summary: remove -f*-prefix-map= options from Ada Library
                    Information files
           Product: gcc
           Version: 8.2.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: ada
          Assignee: unassigned at gcc dot gnu.org
          Reporter: nicolas at debian dot org
  Target Milestone: ---

Created attachment 44984
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=44984&action=edit
skip -f*-prefix-map options when writing .ali files

The -f(file|debug|macro)-prefix-map=OLD=NEW options added by revision 256847
explicitly ask that OLD is never written.