diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2018-06-01 10:22:31 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2018-06-01 10:23:38 +0200 |
| commit | ffc03f2dcb24438d2900743848005c9a058e649c (patch) | |
| tree | cc861e334a4dbd0990038e870d34ff185ecafe7c /Makefile | |
| parent | 27ff8beb35cc4fd1e6a05c6685a7903e9e64ecdf (diff) | |
| download | compcert-ffc03f2dcb24438d2900743848005c9a058e649c.tar.gz compcert-ffc03f2dcb24438d2900743848005c9a058e649c.zip | |
Add tests for clightgen
Also: add "parallel" entry to test/Makefile for parallel execution of tests.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions