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 /test/cminor | |
parent | 9f0fcc2c52d136fb8891f1ce2e135bdb1273df19 (diff) | |
download | compcert-20e3c4aee0332960b008ec7aaa5c8689fa0bd059.tar.gz compcert-20e3c4aee0332960b008ec7aaa5c8689fa0bd059.zip |
Tentative fix for issue #70 (menhirLib recompilation problems)
Don't pass $(MENHIR_INCLUDES) to ocamldep.
Diffstat (limited to 'test/cminor')
0 files changed, 0 insertions, 0 deletions