diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2019-06-20 14:57:45 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2019-06-20 14:57:45 +0200 |
commit | 7811a12e452fb5ffb6953f7e1610aad1d473b396 (patch) | |
tree | 1f00e7909f6c322b594745967aa3b9f95545194c /test/monniaux/gencompile.py | |
parent | 2e5a2138b9853717f467e4cce5ab397d380bb368 (diff) | |
download | compcert-kvx-7811a12e452fb5ffb6953f7e1610aad1d473b396.tar.gz compcert-kvx-7811a12e452fb5ffb6953f7e1610aad1d473b396.zip |
Circumventing a bug from patch
https://lists.gnu.org/archive/html/bug-patch/2017-01/msg00001.html
Diffstat (limited to 'test/monniaux/gencompile.py')
0 files changed, 0 insertions, 0 deletions