diff options
| author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2021-01-18 18:16:42 +0100 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2021-01-18 18:16:42 +0100 |
| commit | f3694c4ebb7155ef11730e757452498226caf423 (patch) | |
| tree | 4db7fa3bad9a3154b833c3e3879b6958ec9429e1 /test/Makefile | |
| parent | 478ece46d8323ea182ded96a531309becf7445bb (diff) | |
| download | compcert-kvx-f3694c4ebb7155ef11730e757452498226caf423.tar.gz compcert-kvx-f3694c4ebb7155ef11730e757452498226caf423.zip | |
Testing calling conventions and interoperability with another C compiler
Using a combination of fixed and randomly-generated function signatures.
Diffstat (limited to 'test/Makefile')
| -rw-r--r-- | test/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/Makefile b/test/Makefile index 504e4c53..fa1fef30 100644 --- a/test/Makefile +++ b/test/Makefile @@ -1,6 +1,6 @@ include ../Makefile.config -DIRS=c compression raytracer spass regression +DIRS=c compression raytracer spass regression abi ifeq ($(CLIGHTGEN),true) DIRS+=clightgen endif |