diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2019-09-13 16:11:15 +0200 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2019-09-13 16:11:15 +0200 |
| commit | c4496c4c63a01b2a7c1b89cca128ce0b55b50c29 (patch) | |
| tree | 2fc4ed56f3d97386ee9aa5515d9994492b9eb599 /extraction | |
| parent | 2a3f4b2378c14865bc2f6ad76f21ae6444c833c8 (diff) | |
| download | compcert-kvx-c4496c4c63a01b2a7c1b89cca128ce0b55b50c29.tar.gz compcert-kvx-c4496c4c63a01b2a7c1b89cca128ce0b55b50c29.zip | |
Adding back "exit 2" to the test target of test/c/Makefile
Diffstat (limited to 'extraction')
0 files changed, 0 insertions, 0 deletions