diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-04-09 14:29:09 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-04-09 14:29:09 +0200 |
| commit | fc01a94d6be690b37e6de9490a2809f1c9fd71ca (patch) | |
| tree | eebcc54c5c45e02cf4cc55777f5dd0093fb98c02 /config_ia32.sh | |
| parent | 2836e342c9129027dd864dfb215deabec15c5ff9 (diff) | |
| download | compcert-kvx-fc01a94d6be690b37e6de9490a2809f1c9fd71ca.tar.gz compcert-kvx-fc01a94d6be690b37e6de9490a2809f1c9fd71ca.zip | |
Makefile...
Diffstat (limited to 'config_ia32.sh')
0 files changed, 0 insertions, 0 deletions