diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2019-07-12 12:13:18 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2019-07-12 12:13:18 +0200 |
commit | 4f6fd68084b4d3a7544e166b2c24524464efb626 (patch) | |
tree | 179dd01f77806d53fc27671d53df6ac00e674cc6 /test/monniaux/Makefile | |
parent | c64ea8db135af2d541d56f6bd1ebb689e7915589 (diff) | |
download | compcert-kvx-4f6fd68084b4d3a7544e166b2c24524464efb626.tar.gz compcert-kvx-4f6fd68084b4d3a7544e166b2c24524464efb626.zip |
(#143) intermediate files are not deleted
Diffstat (limited to 'test/monniaux/Makefile')
0 files changed, 0 insertions, 0 deletions