diff options
author | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2016-10-24 11:44:24 +0200 |
---|---|---|
committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2016-10-24 11:48:36 +0200 |
commit | 1d769e02b3baba54246c942fe116abaf850892db (patch) | |
tree | e4da7895f3065c5f3d26c2da56b0d420ca28ea44 /kernel/cbytecodes.mli | |
parent | 80d5779409bf33fbe5043275b96775a5f04a3b2c (diff) |
Fix 6d5fe92e to #5150 (missing dependencies in test suite) was a bit too strong.
New fix. A bit less consistent with the spirit of this Makefile as we
list prerequisite files explicitly, but avoid to redo subsystems at
each call to "make" as with previous fix.
Other solutions from experts are welcome.
Diffstat (limited to 'kernel/cbytecodes.mli')
0 files changed, 0 insertions, 0 deletions