This commit was manufactured by cvs2svn to create branchunlabeled-1.2.2

'unlabeled-1.2.2'.

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/unlabeled-1.2.2@37 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

1 files changed, 0 insertions, 11 deletions

diff --git a/stdlib/header.c b/stdlib/header.c
deleted file mode 100644
index aba20e62a1..0000000000
--- a/stdlib/header.c
+++ /dev/null
@@ -1,11 +0,0 @@
-char * runtime_name = "cslrun";
-char * errmsg = "Cannot exec cslrun.\n";
-
-int main(argc, argv)
-     int argc;
-     char ** argv;
-{
-  execvp(runtime_name, argv);
-  write(2, errmsg, sizeof(errmsg)-1);
-  return 2;
-}