Commit 70068673 authored by Virgile Prevosto's avatar Virgile Prevosto Committed by Andre Maroneze
Browse files

[aorai] avoid Filename.concat in test script

parent 8fcad1f5
......@@ -71,12 +71,17 @@ let extend () =
wp_compute_kf kf
in
run f;
let tmpdir = Filename.get_temp_dir_name () in
let tmpdir =
match Filename.chop_suffix_opt ~suffix:"/" tmpdir with
| None -> tmpdir
| Some dir -> dir
in
let tmpfile =
Filename.(concat (get_temp_dir_name ())
("aorai_" ^
(chop_extension
(basename (List.hd (Kernel.Files.get()):>string))) ^
"_" ^ (string_of_int (TestNumber.get ())) ^ ".i"))
tmpdir ^ "/aorai_" ^
Filename.(
chop_extension (basename (List.hd (Kernel.Files.get()):>string))) ^
"_" ^ (string_of_int (TestNumber.get ())) ^ ".i"
in
let () =
Extlib.safe_at_exit
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment