author | wenzelm |
Tue, 09 Mar 1999 12:09:22 +0100 | |
changeset 6318 | 4a423e8a0b54 |
parent 6317 | 128e592f5489 |
child 6319 | 80173cb8691c |
--- a/src/Pure/General/file.ML Tue Mar 09 12:09:05 1999 +0100 +++ b/src/Pure/General/file.ML Tue Mar 09 12:09:22 1999 +0100 @@ -22,6 +22,7 @@ eqtype info val info: Path.T -> info option val exists: Path.T -> bool + val mkdir: Path.T -> unit end; structure File: FILE = @@ -87,4 +88,9 @@ val exists = is_some o info; +(* mkdir *) + +fun mkdir path = (execute ("mkdir -p " ^ enclose "'" "'" (sysify path)); ()); + + end;