From a0c8d7373311facda78d250751203371cc0487b2 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Wed, 4 Sep 1996 14:17:43 +0000
Subject: Merge du stage de Pascal Cuoq

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@952 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
---
 otherlibs/win32unix/system.c | 38 ++++++++++++++++++++++++++++++++++++++
 1 file changed, 38 insertions(+)
 create mode 100644 otherlibs/win32unix/system.c

(limited to 'otherlibs/win32unix/system.c')

diff --git a/otherlibs/win32unix/system.c b/otherlibs/win32unix/system.c
new file mode 100644
index 000000000..a02cdf55a
--- /dev/null
+++ b/otherlibs/win32unix/system.c
@@ -0,0 +1,38 @@
+/***********************************************************************/
+/*                                                                     */
+/*                           Objective Caml                            */
+/*                                                                     */
+/*  Xavier Leroy and Pascal Cuoq, projet Cristal, INRIA Rocquencourt   */
+/*                                                                     */
+/*  Copyright 1996 Institut National de Recherche en Informatique et   */
+/*  Automatique.  Distributed only by permission.                      */
+/*                                                                     */
+/***********************************************************************/
+
+/* $Id$ */
+
+#include <mlvalues.h>
+#include <memory.h>
+#include <alloc.h>
+#include "unixsupport.h"
+#include <process.h>
+#include <stdio.h>
+
+value win_system(cmd)
+     value cmd;
+{
+  int ret;
+  value st;
+
+  enter_blocking_section();
+  _flushall();
+  ret = system(String_val(c));;
+  leave_blocking_section();
+  if (ret == -1) uerror("system", Nothing);
+  st = alloc(1, 0); /* 0: Exited */
+  Field(st, 0) = Val_int(ret);
+  return st;
+}
+
+
+
-- 
cgit v1.2.3-70-g09d2