diff --git a/tests/misc/global_decl_loc.i b/tests/misc/global_decl_loc.i index fa62d4ceac6358e50c5de95770dab53920a0f679..8816b71f8528036ac6133651bb5a8b6ee6117370 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 df106d00e7d9695253117182b3b2203bfd0f8287..10be90eef7338e6533bced0e88500c24d1000512 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) {