From a985aa1551ca890f7f88bb196e720a75a6981a3b Mon Sep 17 00:00:00 2001 From: Pierre Weis Date: Thu, 12 Nov 1998 14:54:12 +0000 Subject: [PATCH] =?UTF-8?q?=C3=89viction=20des=20alertes=20des=20s=C3=A9qu?= =?UTF-8?q?ences:=20ajout=20de=20fonctions=20rendant=20unit.?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2173 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 --- utils/ccomp.ml | 5 ++++- utils/ccomp.mli | 3 ++- 2 files changed, 6 insertions(+), 2 deletions(-) diff --git a/utils/ccomp.ml b/utils/ccomp.ml index af26c9a02..a2d30f327 100644 --- a/utils/ccomp.ml +++ b/utils/ccomp.ml @@ -5,7 +5,7 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. Distributed only by permission. *) (* *) (***********************************************************************) @@ -21,6 +21,9 @@ let command cmdline = end; Sys.command cmdline +let run_command cmdline = + let _ = command cmdline in () + let compile_file name = command (Printf.sprintf diff --git a/utils/ccomp.mli b/utils/ccomp.mli index 17aae2a66..423854014 100644 --- a/utils/ccomp.mli +++ b/utils/ccomp.mli @@ -5,7 +5,7 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. Distributed only by permission. *) (* *) (***********************************************************************) @@ -14,5 +14,6 @@ (* Compiling C files and building C libraries *) val command: string -> int +val run_command: string -> unit val compile_file: string -> int val create_archive: string -> string list -> int