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
0649fbce
Commit
0649fbce
authored
Jul 05, 2021
by
erwan
Browse files
Fix: create the dir with -dir only if it does not exist
parent
a6f0e0c2
Pipeline
#70646
failed with stages
in 2 minutes and 42 seconds
Changes
1
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
lib/lv6MainArgs.ml
View file @
0649fbce
(* Time-stamp: <modified the 05/07/2021 (at 16:4
0
) by Erwan Jahier> *)
(* Time-stamp: <modified the 05/07/2021 (at 16:4
8
) 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,
...
...
@@ -283,7 +283,7 @@ let mkoptab (opt:t) : unit = (
;
mkopt
opt
[
"-dir"
;
"--directory"
]
~
arg
:
" <string>"
(
Arg
.
String
(
function
x
->
Sys
.
mkdir
x
0o
640
;
if
not
(
Sys
.
file_exists
x
)
then
Sys
.
mkdir
x
0o
744
;
global_opt
.
dir
<-
x
))
[
"Set the directory into which output files are generated"
]
;
...
...
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