diff options
author | François Pottier <francois.pottier@inria.fr> | 2015-11-06 10:55:08 +0100 |
---|---|---|
committer | François Pottier <francois.pottier@inria.fr> | 2015-11-06 10:55:08 +0100 |
commit | d7a9f71817086b438deced5bf3708dd7a4e8009e (patch) | |
tree | 9d7cb751e69f27f5fe7ff55117d0ac32f2e82793 /cparser/Lexer.mll | |
parent | e5aeeb137cfd95289ec9388318f65df6f5b08db6 (diff) | |
download | compcert-kvx-d7a9f71817086b438deced5bf3708dd7a4e8009e.tar.gz compcert-kvx-d7a9f71817086b438deced5bf3708dd7a4e8009e.zip |
Fix in cparser/GNUmakefile.
Remove "&" which was a typo and did not make sense.
Use "command -v" instead of "which" (more efficient).
Use "=" instead of ":=" (more efficient).
Diffstat (limited to 'cparser/Lexer.mll')
0 files changed, 0 insertions, 0 deletions