Merge branch 'fix/andre/some-tests' into 'master'

[tests] add missing dependencies in jcdb test

See merge request frama-c/frama-c!3620

tests/jcdb/jcdb.c

@@ -7,6 +7,7 @@
  MODULE: @PTEST_NAME@
    OPT: -json-compilation-database %{dep:@PTEST_DIR@/with_arguments.json}
  MODULE:
+ DEPS: file_without_main.c
    EXECNOW: LOG list_files.res LOG list_files.err %{bin:frama-c-script} list-files %{dep:@PTEST_DIR@/compile_commands_working.json} > @PTEST_RESULT@/list_files.res 2> @PTEST_RESULT@/list_files.err
 */
 

tests/jcdb/subdir.c

 /* run.config
    NOFRAMAC:
-   EXECNOW: LOG subdir.res LOG subdir.err (cd @PTEST_DIR@/subdir1 && @frama-c@ -add-symbolic-path $PWD/..:PWD/.. -json-compilation-database ../subdir.json ../subdir.c) > @PTEST_RESULT@/subdir.res 2> @PTEST_RESULT@/subdir.err
+   DEPS: subdir1/header.h subdir2/included.h subdir.json subdir.c included2.h
+   EXECNOW: LOG subdir.res LOG subdir.err (cd subdir1 && @frama-c@ -add-symbolic-path $PWD/..:PWD/.. -json-compilation-database ../subdir.json ../subdir.c) > @PTEST_RESULT@/subdir.res 2> @PTEST_RESULT@/subdir.err
 */
 
 // this test must be run with PWD in subdir1