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 /powerpc/ConstpropOpproof.v | |
parent | 8b56dc911f1042a0954140c61d302d8be9a9def7 (diff) | |
download | compcert-a452aa6d282ceb3408cc5557c7b07798a3887b06.tar.gz compcert-a452aa6d282ceb3408cc5557c7b07798a3887b06.zip |
Removed the Unix from the libraries for cchecklink.
Diffstat (limited to 'powerpc/ConstpropOpproof.v')
0 files changed, 0 insertions, 0 deletions