Increase scratch space to 300k. ToDo: investigate why this is needed.

git-svn-id: svn://svn.valgrind.org/vex/trunk@246

diff --git a/VEX/priv/main/vex_util.c b/VEX/priv/main/vex_util.c
index 036bb21ea239d103dffc6497e78ffaa73f760623..e7ea5314d402a73539783a579710e4be2471ed24 100644 (file)
--- a/VEX/priv/main/vex_util.c
+++ b/VEX/priv/main/vex_util.c
@@ -24,7 +24,7 @@
    MByte/sec.  Once the size increases enough to fall out of the cache
    into memory, the rate falls by about a factor of 3. 
 */
-#define N_TEMPORARY_BYTES 200000
+#define N_TEMPORARY_BYTES 300000
 
 static Char temporary[N_TEMPORARY_BYTES];
 static Int  temporary_used = 0;