Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
verimag
synchrone
lustre-v6
Commits
a6f0e0c2
Commit
a6f0e0c2
authored
Jul 05, 2021
by
erwan
Browse files
Fix: create the dir when -dir is used
parent
60401655
Pipeline
#70644
failed with stages
in 2 minutes and 50 seconds
Changes
1
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
lib/lv6MainArgs.ml
View file @
a6f0e0c2
(* Time-stamp: <modified the 05/07/2021 (at 1
0:34
) by Erwan Jahier> *)
(* Time-stamp: <modified the 05/07/2021 (at 1
6:40
) by Erwan Jahier> *)
(*
Le manager d'argument adapt de celui de lutin, plus joli
N.B. solution un peu batarde : les options sont stockes, comme avant, dans Global,
...
...
@@ -282,7 +282,9 @@ let mkoptab (opt:t) : unit = (
[
"Set the output file name"
]
;
mkopt
opt
[
"-dir"
;
"--directory"
]
~
arg
:
" <string>"
(
Arg
.
String
(
function
x
->
global_opt
.
dir
<-
x
))
(
Arg
.
String
(
function
x
->
Sys
.
mkdir
x
0o640
;
global_opt
.
dir
<-
x
))
[
"Set the directory into which output files are generated"
]
;
mkopt
opt
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment