diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2015-11-13 16:03:14 +0100 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2015-11-13 16:03:14 +0100 |
| commit | 20e3c4aee0332960b008ec7aaa5c8689fa0bd059 (patch) | |
| tree | bcc490882eafec6a3218e89f62249a2f5751f366 /debug | |
| parent | 9f0fcc2c52d136fb8891f1ce2e135bdb1273df19 (diff) | |
| download | compcert-kvx-20e3c4aee0332960b008ec7aaa5c8689fa0bd059.tar.gz compcert-kvx-20e3c4aee0332960b008ec7aaa5c8689fa0bd059.zip | |
Tentative fix for issue #70 (menhirLib recompilation problems)
Don't pass $(MENHIR_INCLUDES) to ocamldep.
Diffstat (limited to 'debug')
0 files changed, 0 insertions, 0 deletions