From 15abaebee7fed1adcfdf423d35f9db9ff213e03f Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Wed, 13 Oct 2021 15:44:54 +0200
Subject: [PATCH] [Tests] changes because an ML module cannot be shared by
 several test files

---
 tests/misc/global_decl_loc.i  | 4 ++--
 tests/misc/global_decl_loc2.i | 5 +++--
 2 files changed, 5 insertions(+), 4 deletions(-)

diff --git a/tests/misc/global_decl_loc.i b/tests/misc/global_decl_loc.i
index fa62d4ceac6..8816b71f852 100644
--- a/tests/misc/global_decl_loc.i
+++ b/tests/misc/global_decl_loc.i
@@ -1,6 +1,6 @@
 /* run.config
- COMMENT: the script "global_decl_loc.ml" is also used by the test "global_decl_loc2.i"
- SCRIPT: global_decl_loc
+ COMMENT: the script "global_decl_loc.ml" is also copied by the test "global_decl_loc2.i"
+ MODULE: global_decl_loc
    OPT: @PTEST_DIR@/global_decl_loc2.i
  */
 
diff --git a/tests/misc/global_decl_loc2.i b/tests/misc/global_decl_loc2.i
index df106d00e7d..10be90eef73 100644
--- a/tests/misc/global_decl_loc2.i
+++ b/tests/misc/global_decl_loc2.i
@@ -1,9 +1,10 @@
 /* run.config*
+ COMMENT: todo in the future: removes the EXECNOW command and modifies the MODULE directive in order to reuse "global_decl_loc"
  COMMENT: the script "global_decl_loc.ml" is also used by the test "global_decl_loc.i"
- SCRIPT: global_decl_loc
+ EXECNOW: BIN global_decl_loc2.ml cp @PTEST_DIR@/global_decl_loc.ml @PTEST_RESULT@/global_decl_loc2.ml > @DEV_NULL@ 2> @DEV_NULL@
+ MODULE: result/global_decl_loc2
    OPT: @PTEST_DIR@/global_decl_loc.i
 */
-
 extern int g;
 
 int main(void) {
-- 
GitLab