From f836e04fb1f4495c8081552a78d42283dd1a4775 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Tue, 4 Mar 1997 10:21:58 +0000
Subject: Du coup, execvp n'est plus necessaire, execv suffit.

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1315 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
---
 stdlib/header.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'stdlib/header.c')

diff --git a/stdlib/header.c b/stdlib/header.c
index 9c31e8f7a..9aba0684f 100644
--- a/stdlib/header.c
+++ b/stdlib/header.c
@@ -18,7 +18,7 @@ int main(argc, argv)
      int argc;
      char ** argv;
 {
-  execvp(runtime_name, argv);
+  execv(runtime_name, argv);
   write(2, errmsg, sizeof(errmsg)-1);
   return 2;
 }
-- 
cgit v1.2.3-70-g09d2