Use a fixed random seed per default.
authorsvenpanne@chromium.org <svenpanne@chromium.org@ce2b1a6d-e550-0410-aec6-3dcde31c8c00>
Thu, 7 Nov 2013 12:01:26 +0000 (12:01 +0000)
committersvenpanne@chromium.org <svenpanne@chromium.org@ce2b1a6d-e550-0410-aec6-3dcde31c8c00>
Thu, 7 Nov 2013 12:01:26 +0000 (12:01 +0000)
commitad3478bb2f203ea13b4f36216e30bd7236953634
treeefb6c648e9533c1f37123861a55ff3ed49c9664b
parent1813231c97c27e5a3879c67c2b07a78b4f2ad09a
Use 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

Review URL: https://codereview.chromium.org/64093003

git-svn-id: http://v8.googlecode.com/svn/branches/bleeding_edge@17555 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
Makefile
tools/gyp/v8.gyp