Commit e3c7d4e1 authored by Patrick Baudin's avatar Patrick Baudin
Browse files

[tests] minor change in COMMENT directives

parent 5288a727
/* run.config
COMMENT: with dune, the LIBS directive must be replaced by a MODULE directive (see also ./test_config file)
COMMENT: note: the module global_decl_loc is also used by another test file (global_decl_loc2.i)
MODULE: global_decl_loc
OPT: %{dep:./global_decl_loc2.i}
*/
......
/* run.config*
COMMENT: with dune, the LIBS directive must be replaced by a MODULE directive (see also ./test_config file)
COMMENT: note: the module global_decl_loc is also used by another test file (global_decl_loc.i)
MODULE: global_decl_loc
OPT: %{dep:./global_decl_loc.i}
......
Supports Markdown
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