DescriptionUse a fixed random seed per default.
To get back the old behavior, use "make randomseed=0 ...".
BUG=v8:1880, v8:2885
R=jkummerow@chromium.org
Committed: http://code.google.com/p/v8/source/detail?r=17555
Patch Set 1 #
Total comments: 1
Patch Set 2 : Nit #Messages
Total messages: 3 (0 generated)
|