diff options
| author | Grégoire Duchêne <gduchene@awhk.org> | 2014-09-27 15:04:03 +0200 |
|---|---|---|
| committer | Grégoire Duchêne <gduchene@awhk.org> | 2014-09-27 15:16:25 +0200 |
| commit | 9fcc625416f26b2ff0629684139c766639dddf39 (patch) | |
| tree | ce30550b6e708a6afb99f5449587647a8d7223d0 /LICENSE | |
| parent | 96479bad0b9a41d0f87a7d5a6392e237bcbfc211 (diff) | |
Split the dependency file
Each .ml file will have a dependency file instead of having a giant
one. Thus, we only generate dependencies for files that have changed.
The current pattern is that for every .ml file, like foo.ml, its
associated dependency file will be .foo.d. This may change or become
configurable later.
Diffstat (limited to 'LICENSE')
0 files changed, 0 insertions, 0 deletions