blob: afa3deea3ac86afe076df2db3c40c57589d026c9 (
plain)
1
2
3
4
5
6
7
|
let _ =
let quoted = Sys.argv.(1) = "-quoted" in
let ch_dir = Sys.argv.(if quoted then 2 else 1) in
Sys.chdir ch_dir;
let dir = Sys.getcwd () in
let dir = if quoted then Filename.quote dir else dir in
Format.printf "%s%!" dir
|
