diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-11-09 10:13:20 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-11-09 10:13:20 +0100 |
commit | d58e8e79326cae16361a219399ef102da128db03 (patch) | |
tree | f8f7debc1e45b3d7656c4db3e6ef78a0b29887f3 /tools | |
parent | 871ef2f625914e8debf3c28432d9d26fcce136fa (diff) | |
download | compcert-kvx-d58e8e79326cae16361a219399ef102da128db03.tar.gz compcert-kvx-d58e8e79326cae16361a219399ef102da128db03.zip |
Added ${arch}_${bitsize} for x86 to .merlin
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions