Adjust memory allocations.

Signed-off-by: Edward Z. Yang <ezyang@mit.edu>

diff --git a/scripts-server b/scripts-server
index ab9aff3d95d74a55d4a753e70512fc0f4cd3b22d..369a728fa2ddb478932088046c3a90503339c4d9 100644 (file)
--- a/scripts-server
+++ b/scripts-server
@@ -17,9 +17,9 @@ machines = { 'bees-knees'     : ['david-letterman',  2, 6144, '10'],
              'not-backward'   : ['david-letterman',  2, 2560, '30'],
              'busy-beaver'    : ['conan-obrien',     2, 4096, '40'],
              'pancake-bunny'  : ['conan-obrien',     2, 4096, '50'],
-             'whole-enchilada': ['jay-leno',         1, 2048, '60'],
+             'whole-enchilada': ['jay-leno',         2, 4096, '60'],
              'real-mccoy'     : ['jay-leno',         2, 4096, '70'],
-             'not-forward'    : ['jay-leno',         2,  512, '80'],
+             'not-forward'    : ['jay-leno',         1,  512, '80'],
              'old-faithful'   : ['johnny-carson',    2, 4096, '90'],
              'better-mousetrap' : ['johnny-carson',  2, 4096, 'a0'],
            }