#78 (May 6, 2020, 9:53:55 AM)

Started by GitHub push by xavierleroy

• origin/trunk

1. Turn on dependency checking on Inria CI (commit: 11d0d66) (details / githubweb)
2. Silence CI warning for undefined variable (commit: e3dffa8) (details / githubweb)
3. Tighten dependencies for C files (commit: b3af8ca) (details / githubweb)
4. Restore compatibility with GNU make 3.81 (commit: 617522e) (details / githubweb)
5. Don't use -MG (commit: c948b8d) (details / githubweb)
6. Remove unneeded $(otherfiles) in runtime/Makefile (commit: 942105f) (details / githubweb)
7. Update Changes (commit: 312ec98) (details / githubweb)