[petsc-dev] PTScotch 6

[Jose E. Roman]

El 19/03/2013, a las 19:08, Satish Balay escribió:

>> The maint patch refred to was further down - which is independent of the version change.
>> 
>>> -    self.cflags = self.cflags + '-DCOMMON_RANDOM_FIXED_SEED'
>>> +    self.cflags = self.cflags + ' -DCOMMON_RANDOM_FIXED_SEED'
> 
> Hm.. perhaps I'm misreading this e-mail thread.
> 
> This bug doesn't exist in petsc-3.3 [so nothing to do for 3.3]
> 

Sorry, I thought this came from 3.3, but was introduced much later, in 32056ec

Jose