On Thu, 04 Feb 2010 15:57:49 +0100, Jed Brown wrote:
> On Thu, 4 Feb 2010 08:17:40 -0600, Barry Smith wrote:
> > So feel free to change to change,
>
> pushed
Actually, this caused major damage, which you may be seeing if you
pulled in the last two hours. I've backed out the following and,
On Thu, 4 Feb 2010 08:17:40 -0600, Barry Smith wrote:
> So feel free to change to change,
pushed
Jed
Is there a reason that this uses PetscOptionsHasName instead of
PetscOptionsGetTruth? I would prefer the latter behavior because it
would let me switch options on and off without deleting and retyping the
option name.
Jed
On Thu, Feb 4, 2010 at 9:43 AM, Jed Brown wrote:
> Is there a reason that this uses PetscOptionsHasName instead of
> PetscOptionsGetTruth?
This is likely a leftover from (Barry's ?) changes some time ago.
> I would prefer the latter behavior because it
> would let me switch options on and off wi
Jed,
When we changed the meaning of PetscOptionsName() due to user
request I missed changing the usage here.
So feel free to change to change,
Thanks
Barry
On Feb 4, 2010, at 7:31 AM, Lisandro Dalc?n wrote:
> On Thu, Feb 4, 2010 at 9:43 AM, Jed Brown wrote:
>> Is the