Skip to content
Snippets Groups Projects
Commit 15abaebe authored by Patrick Baudin's avatar Patrick Baudin
Browse files

[Tests] changes because an ML module cannot be shared by several test files

parent d865996e
No related branches found
No related tags found
No related merge requests found
/* run.config /* run.config
COMMENT: the script "global_decl_loc.ml" is also used by the test "global_decl_loc2.i" COMMENT: the script "global_decl_loc.ml" is also copied by the test "global_decl_loc2.i"
SCRIPT: global_decl_loc MODULE: global_decl_loc
OPT: @PTEST_DIR@/global_decl_loc2.i OPT: @PTEST_DIR@/global_decl_loc2.i
*/ */
......
/* run.config* /* 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" 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 OPT: @PTEST_DIR@/global_decl_loc.i
*/ */
extern int g; extern int g;
int main(void) { int main(void) {
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment