diff options
| author | Maxime Dénès | 2016-12-05 10:58:04 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2016-12-05 10:58:04 +0100 |
| commit | 7aa2c39387a9781bf406c763c538859f24b8b7f3 (patch) | |
| tree | 97ed6b467b28098dbf744e1637fd223e4e887cca /kernel/type_errors.mli | |
| parent | f653036a73f008168809d3f50041382fe3ee52a1 (diff) | |
Compute dependency of C files only in kernel/byterun.
Some C files included in build scripts (in dev/build) were triggering
errors or warnings on non-win32 platforms.
Note that ide/ide_win32_stubs.c was already handled through an ad-hoc
rule in Makefile.
If you add a new C file outside of kernel/byterun, please extend the CFILES
variable.
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions