diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-22 11:49:03 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-22 11:49:03 +0100 |
commit | e6b57a54a4449e0c6239ef56984b1ecbf2b3c792 (patch) | |
tree | c3480bccd38d2fbff0a69d9561e279e291eb3b32 /scripts | |
parent | 75ca8b4dcb1dbc75feccd2b53ebf5acdee51f3d3 (diff) | |
download | compcert-kvx-e6b57a54a4449e0c6239ef56984b1ecbf2b3c792.tar.gz compcert-kvx-e6b57a54a4449e0c6239ef56984b1ecbf2b3c792.zip |
better patch for running the test suite
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions