diff options
author | Michael Schmidt <github@mschmidt.me> | 2016-05-10 11:04:03 +0200 |
---|---|---|
committer | Michael Schmidt <github@mschmidt.me> | 2016-05-10 11:04:03 +0200 |
commit | abc067fedfaa6ad3e8b5991588ed48c4c385cfc0 (patch) | |
tree | 4f51af5dffd376902432d39f8b57eca9a11bfe29 /cparser/pre_parser.mly | |
parent | 3f98769c5cdf5a57fe2849fc1772dbecdd498b68 (diff) | |
download | compcert-abc067fedfaa6ad3e8b5991588ed48c4c385cfc0.tar.gz compcert-abc067fedfaa6ad3e8b5991588ed48c4c385cfc0.zip |
fix typo 'clinker_option' in configure for OSX
Diffstat (limited to 'cparser/pre_parser.mly')
0 files changed, 0 insertions, 0 deletions