Processed (with 1 error): Re: gcc: error: unrecognized command line option ‘-no-pie’

[Debian Bug Tracking System]

Processing control commands:

> forcemerge -1 867853
Bug #871740 [ghc] gcc: error: unrecognized command line option ‘-no-pie’
Bug #867853 {Done: Gianfranco Costamagna <locutusofborg at debian.org>} [ghc] gcc: error: unrecognized command line option ‘-no-pie’
Failed to forcibly merge 871740: Not altering archived bugs; see unarchive.

> unarchive 867853
Bug #867853 {Done: Gianfranco Costamagna <locutusofborg at debian.org>} [ghc] gcc: error: unrecognized command line option ‘-no-pie’
Unarchived Bug 867853
> reopen 867853
Bug #867853 {Done: Gianfranco Costamagna <locutusofborg at debian.org>} [ghc] gcc: error: unrecognized command line option ‘-no-pie’
Bug reopened
Ignoring request to alter fixed versions of bug #867853 to the same values previously set
> tags 867853 moreinfo
Bug #867853 [ghc] gcc: error: unrecognized command line option ‘-no-pie’
Added tag(s) moreinfo.

-- 
867853: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=867853
871740: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=871740
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems