On Aug 17 2009, Jeff Squyres wrote:
>
>Yes, BUT... We had a similar option to this for a long, long time.
Sorry, perhaps I should have spelled out what I meant by "mandatory".
The system would not build (or run, depending on where it was set)
without such a value being specified. There would be no default.
![[Flag]](../../../../../community/mirrors/flag-us.gif){kind=small}