diff options
| author | Pierre Letouzey | 2016-06-01 11:35:53 +0200 |
|---|---|---|
| committer | Pierre Letouzey | 2016-06-01 11:42:22 +0200 |
| commit | 390bcdb00838e045b643912e32a9d159b40f3b70 (patch) | |
| tree | e322ac7313ab1b1b53ae6494c8677c3448ac6c22 /stm/asyncTaskQueue.ml | |
| parent | 88d5621e0d70482e5869e9b422ff30b14f58691a (diff) | |
Makefile.build : update the otags rule
There were a forgotten CAMLP4DEPS macro.
We also avoid otags failure with camlp5 (in this case, it only
builds the tags of regular .ml files, not .ml4).
Diffstat (limited to 'stm/asyncTaskQueue.ml')
0 files changed, 0 insertions, 0 deletions