diff options
| author |  Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net> | 2018-05-03 15:09:00 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net> | 2018-05-03 15:11:13 +0200 |
| commit | 23d46960f4c90a7caaf412504e13d4f4031cbab3 (patch) | |
| tree | 541e0d406fb7cdac85fb5485bd941bdfcaace3ca /clib | |
| parent | fad6eee8ddb28fa7840044c65aa02557285e23f0 (diff) | |
Add .byte targets for every bestocaml target
This makes it easier to compile our executables for debug purposes.
Diffstat (limited to 'clib')
0 files changed, 0 insertions, 0 deletions