diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-02-20 10:52:58 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-02-20 10:52:58 +0100 |
| commit | a452aa6d282ceb3408cc5557c7b07798a3887b06 (patch) | |
| tree | 3d19ad8ed91cb1929fd4b401eff8289f3de7187c /common | |
| parent | 8b56dc911f1042a0954140c61d302d8be9a9def7 (diff) | |
| download | compcert-a452aa6d282ceb3408cc5557c7b07798a3887b06.tar.gz compcert-a452aa6d282ceb3408cc5557c7b07798a3887b06.zip | |
Removed the Unix from the libraries for cchecklink.
Diffstat (limited to 'common')
0 files changed, 0 insertions, 0 deletions