diff options
| author |  Pierre Letouzey <pierre.letouzey@inria.fr> | 2016-06-01 14:46:26 +0200 |
|---|---|---|
| committer | Pierre Letouzey <pierre.letouzey@inria.fr> | 2016-06-01 14:49:27 +0200 |
| commit | ad66acf99a85cf1dee3bb56f70121130c090b0c4 (patch) | |
| tree | fdbed1d2d46025b8c73eaf1b443ed6830669ff28 /stm | |
| parent | f1f70008276d540f7854e50e5f4aa762387d2281 (diff) | |
Makefile.build : follow-up of previous commit
- the particlar rule for dev/printers.cma is adapted as for %.cma:%.mllib
- some more removal of | .d in rules
Diffstat (limited to 'stm')
0 files changed, 0 insertions, 0 deletions