This commit was manufactured by cvs2svn to create branchunlabeled-1.1.2

'unlabeled-1.1.2'.

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

1 files changed, 0 insertions, 39 deletions

diff --git a/stdlib/sys.mli b/stdlib/sys.mli
deleted file mode 100644
index 0466ba5917..0000000000
--- a/stdlib/sys.mli
+++ /dev/null
@@ -1,39 +0,0 @@
-(* System interface *)
-
-val argv: string array
-external file_exists: string -> bool = "sys_file_exists"
-external remove: string -> unit = "sys_remove"
-external getenv: string -> string = "sys_getenv"
-external command: string -> int = "sys_system_command"
-external chdir: string -> unit = "sys_chdir"
-
-type signal_behavior =
-    Signal_default
-  | Signal_ignore
-  | Signal_handle of (int -> unit)
-
-external signal: int -> signal_behavior -> unit = "install_signal_handler"
-
-val sigabrt: int
-val sigalrm: int
-val sigfpe: int
-val sighup: int
-val sigill: int
-val sigint: int
-val sigkill: int
-val sigpipe: int
-val sigquit: int
-val sigsegv: int
-val sigterm: int
-val sigusr1: int
-val sigusr2: int
-val sigchld: int
-val sigcont: int
-val sigstop: int
-val sigtstp: int
-val sigttin: int
-val sigttou: int
-
-exception Break
-
-val catch_break: bool -> unit