Changes between Initial Version and Version 1 of Ticket #6137, comment 5


Ignore:
Timestamp:
2020-09-29T21:57:01Z (5 years ago)
Author:
Francesco Casella

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #6137, comment 5

    initial v1  
    22> I'm working on it. I'll try to change it so the compiler option activates whatever is there in the Frontend.
    33
    4 Hmmm, I would find it weird that a {{{-preOptModules}}} flag influences the backend. But it's ok if you add a warning (not a notification) and some text like "this module is no longer available and its use is deprecated. XXX was used instead".
     4Hmmm, I would find it weird that a {{{-preOptModules}}} flag influences the frontend. But it's ok if you add a warning (not a notification) and some text like "this module is no longer available and its use is deprecated. XXX was used instead".
    55
    66> Should I also give a Notification that this option is deprecated? Is there already some standard way to handle dead compiler options?