From 261b09bb1d3b188549a3647921c7ade5fe9beb67 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Wed, 16 Feb 2022 18:45:15 +0100
Subject: [PATCH] [tests] dune: fix test directory 'builtins'
---
tests/builtins/big_local_array_script.ml | 2 +-
tests/builtins/from_result.c | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/tests/builtins/big_local_array_script.ml b/tests/builtins/big_local_array_script.ml
index fd3254716f9..70b79026515 100644
--- a/tests/builtins/big_local_array_script.ml
+++ b/tests/builtins/big_local_array_script.ml
@@ -10,7 +10,7 @@ let foo () =
if Project.get_name (Project.current ()) <> "prj" then begin
let prj = Project.create "prj" in
let () = Project.set_current prj in
- let f = Filepath.Normalized.of_string (ptest_file "tests/builtins/" "big_local_array.i") in
+ let f = Filepath.Normalized.of_string (ptest_file "" "big_local_array.i") in
File.init_from_c_files [File.from_filename f]
end
diff --git a/tests/builtins/from_result.c b/tests/builtins/from_result.c
index e04c3978a75..d1b6319210b 100644
--- a/tests/builtins/from_result.c
+++ b/tests/builtins/from_result.c
@@ -1,5 +1,5 @@
/* run.config*
- OPT: -cpp-extra-args=-I@PTEST_SHARE_DIR@ @EVA_CONFIG@ -eva-alloc-builtin fresh -deps
+ OPT: -cpp-extra-args=-I@FRAMAC_SHARE@ @EVA_CONFIG@ -eva-alloc-builtin fresh -deps
*/
#include "libc/stdlib.c"
--
GitLab