diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2018-06-02 10:13:41 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2018-06-02 10:13:41 +0200 |
| commit | 08411be90dcce22cf92bca1c42331a8da884746e (patch) | |
| tree | 37b155dd030b1c3da5ffc34e222a9fbb46389d8a /cparser/Elab.ml | |
| parent | c58b421571b0354eea602adbdae674bd1f4847e3 (diff) | |
| download | compcert-08411be90dcce22cf92bca1c42331a8da884746e.tar.gz compcert-08411be90dcce22cf92bca1c42331a8da884746e.zip | |
Don't depend on ../../clightgen
It's not really necessary, and under Windows it's really ../../clightgen.exe,
which confuses make.
Diffstat (limited to 'cparser/Elab.ml')
0 files changed, 0 insertions, 0 deletions