1 files changed, 0 insertions, 41 deletions
diff --git a/tools/checkstack.c b/tools/checkstack.c
deleted file mode 100644
index 14b5726fb1..0000000000
--- a/tools/checkstack.c
+++ /dev/null
@@ -1,41 +0,0 @@
-/***********************************************************************/
-/*                                                                     */
-/*                           Objective Caml                            */
-/*                                                                     */
-/*          Damien Doligez, projet Moscova, INRIA Rocquencourt         */
-/*                                                                     */
-/*  Copyright 2002 Institut National de Recherche en Informatique et   */
-/*  en Automatique.  All rights reserved.  This file is distributed    */
-/*  under the terms of the GNU Library General Public License, with    */
-/*  the special exception on linking described in file ../../LICENSE.  */
-/*                                                                     */
-/***********************************************************************/
-
-/* $Id$ */
-
-#include <stdio.h>
-#include <sys/types.h>
-#include <sys/time.h>
-#include <sys/resource.h>
-
-#define MINSTACKBYTES (384 * 1024 * sizeof (long))
-
-int main(int argc, char ** argv)
-{
-  struct rlimit limit;
-  int rc;
-
-  rc = getrlimit (RLIMIT_STACK, &limit);
-  if (rc != 0) exit (0);
-  if (limit.rlim_cur < MINSTACKBYTES){
-    fprintf (stderr,
-             "\nThe current stack size limit is too low (%luk)\n"
-             "You must increase it with one of the following commands:\n"
-             "Under sh, bash, zsh:  ulimit -s %lu\n"
-             "Under csh, tcsh:      limit stacksize %lu\n\n",
-             (unsigned long) (limit.rlim_cur / 1024),
-             MINSTACKBYTES / 1024, MINSTACKBYTES / 1024);
-    exit (3);
-  }
-  exit (0);
-}