* [PING] Ability to remap file names in __FILE__, etc (PR other/70268)
@ 2017-11-24 8:02 Boris Kolpackov
0 siblings, 0 replies; only message in thread
From: Boris Kolpackov @ 2017-11-24 8:02 UTC (permalink / raw)
To: gcc-patches
Hi,
I would like to ping this patch:
https://gcc.gnu.org/ml/gcc-patches/2017-11/msg01451.html
While the patch touches quite a few places, it is mostly reshuffling
and generalizing existing code. It also includes tests for the new
functionality. Seeing that there is a lot of interest[1] in reproducible
builds, I think it will be useful to have this patch considered for
GCC 8, if possible.
[1] https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70268
Thanks,
Boris
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2017-11-24 7:42 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2017-11-24 8:02 [PING] Ability to remap file names in __FILE__, etc (PR other/70268) Boris Kolpackov
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).