diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-07-22 10:26:36 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-07-22 10:26:36 +0200 |
| commit | e8041d0dc9e2855068c7e0228b81f4231834a7c5 (patch) | |
| tree | 6366d09df94daab33e11d0d88c82b3dfa47e752e /test/monniaux/yarpgen/Makefile | |
| parent | 29276187b0985f46dc0c3e08cf4d72fffc3c1f4c (diff) | |
| download | compcert-kvx-e8041d0dc9e2855068c7e0228b81f4231834a7c5.tar.gz compcert-kvx-e8041d0dc9e2855068c7e0228b81f4231834a7c5.zip | |
use the assembler from the same toolchain
Diffstat (limited to 'test/monniaux/yarpgen/Makefile')
0 files changed, 0 insertions, 0 deletions