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/pre_parser.mly | |
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/pre_parser.mly')
0 files changed, 0 insertions, 0 deletions