diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2017-08-27 10:04:05 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2017-08-27 10:04:05 +0200 |
| commit | eb86160c37db09a0e201e25d90b0a9a1a6ef1cb6 (patch) | |
| tree | b4ae0b3a2f4d60950c1f8d35153f883d81849a44 /test/regression/Makefile | |
| parent | 5a7acc396131bc452f868d8d913be26240f21cf5 (diff) | |
| download | compcert-eb86160c37db09a0e201e25d90b0a9a1a6ef1cb6.tar.gz compcert-eb86160c37db09a0e201e25d90b0a9a1a6ef1cb6.zip | |
test/compression: use unique temporary files for testing
Diffstat (limited to 'test/regression/Makefile')
0 files changed, 0 insertions, 0 deletions