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
