On Thu, 9 Aug 2007, Manuel López-Ibáñez wrote:

| > In order to see WARNING2, I have to uncomment the second pragma.  But this
| > is bad IMHO because it overrides the command line.
| 
| Does it change the warning to an error? If that works, we only need a
| new keyword "restore" or "default" that changes it to the command-line
| value (or default value if there was no command-line setting) and et

We need "restore" to change the state back its previous value before
the pragma, not just before the setting at the command lines.

-- Gaby