diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1995-08-23 11:55:32 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1995-08-23 11:55:32 +0000 |
| commit | 50b6deb34c0e1c31a0abf372ccecc885c549e0c6 (patch) | |
| tree | 81d798d6ca5c304dc5381e9cb2167462d695736f | |
| parent | 6e95ca1d136e8a80bf6d7af8e639f9c2ae8653e5 (diff) | |
Ajout de Sys.getcwd.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@204 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | stdlib/sys.ml | 1 | ||||
| -rw-r--r-- | stdlib/sys.mli | 2 |
2 files changed, 3 insertions, 0 deletions
diff --git a/stdlib/sys.ml b/stdlib/sys.ml index 40958323e..bc146682a 100644 --- a/stdlib/sys.ml +++ b/stdlib/sys.ml @@ -22,6 +22,7 @@ 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" +external getcwd: unit -> string = "sys_getcwd" type signal_behavior = Signal_default diff --git a/stdlib/sys.mli b/stdlib/sys.mli index 59c2079bc..68fb37ea2 100644 --- a/stdlib/sys.mli +++ b/stdlib/sys.mli @@ -28,6 +28,8 @@ external command: string -> int = "sys_system_command" (* Execute the given shell command and return its exit code. *) external chdir: string -> unit = "sys_chdir" (* Change the current working directory of the process. *) +external getcwd: unit -> string = "sys_getcwd" + (* Return the current working directory of the process. *) (*** Signal handling *) |