X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fruntime%2Fvalidate.c;h=f9b6ab164d59bc29506ca736521c5bb5a8e47bf2;hb=80f222325e1f677e5cf8de01c6990906fa47f65d;hp=aa0890fa570b9762fcda71ef07e7d7e0e70e1c55;hpb=ded744f74ab2f1a97679ad4f91e0eb8d995daef2;p=sbcl.git diff --git a/src/runtime/validate.c b/src/runtime/validate.c index aa0890f..f9b6ab1 100644 --- a/src/runtime/validate.c +++ b/src/runtime/validate.c @@ -30,32 +30,12 @@ ensure_space(lispobj *start, unsigned long size) "ensure_space: failed to validate %ld bytes at 0x%08lx\n", size, (unsigned long)start); + fprintf(stderr, + "(hint: Try \"ulimit -a\"; maybe you should increase memory limits.)\n"); exit(1); } } -#ifdef HOLES - -static os_vm_address_t holes[] = HOLES; - -static void -make_holes(void) -{ - int i; - - for (i = 0; i < sizeof(holes)/sizeof(holes[0]); i++) { - if (os_validate(holes[i], HOLE_SIZE) == NULL) { - fprintf(stderr, - "make_holes: failed to validate %ld bytes at 0x%08X\n", - HOLE_SIZE, - (unsigned long)holes[i]); - exit(1); - } - os_protect(holes[i], HOLE_SIZE, 0); - } -} -#endif - void validate(void) { @@ -73,10 +53,6 @@ validate(void) ensure_space( (lispobj *)DYNAMIC_1_SPACE_START , DYNAMIC_SPACE_SIZE); #endif -#ifdef HOLES - make_holes(); -#endif - #ifdef PRINTNOISE printf(" done.\n"); #endif