diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-29 14:29:10 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-29 14:29:10 +0200 |
commit | 3aa45f72a8c8b33087fddab070a069adc5487244 (patch) | |
tree | 0b384dc4acc59d30748a7511ade19cf8b670c4c3 /test/compression/Makefile | |
parent | d57b14ba5eafae9b9b2b8fb60b1592efa88c69ed (diff) | |
download | compcert-kvx-3aa45f72a8c8b33087fddab070a069adc5487244.tar.gz compcert-kvx-3aa45f72a8c8b33087fddab070a069adc5487244.zip |
use /usr/bin/env
Diffstat (limited to 'test/compression/Makefile')
0 files changed, 0 insertions, 0 deletions