<br><br><div class="gmail_quote">On Mon, Jul 20, 2009 at 9:45 AM, Stefan Reinauer <span dir="ltr"><<a href="mailto:stepan@coresystems.de">stepan@coresystems.de</a>></span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">



  

<div bgcolor="#ffffff" text="#000000"><div><div></div><div class="h5">
On 20.07.2009 15:57 Uhr, Myles Watson wrote:<br><blockquote type="cite"><pre>Since they're #ifndef, that means they weren't part of the old config
system, or there is a bug.  Those symbols are always defined, and are tested
based on their values.  Is there a uses statement for them somewhere?
</pre>
</blockquote>
</div></div>
The old config tool has an flag to determine whether an option should
be exported always or only if it is used.</div></blockquote><div><br>You're right.  I'd forgotten about that.<br><br>Thanks,<br>Myles <br></div></div><br>