diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-01-30 17:13:15 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-01-30 17:13:15 +0100 |
| commit | d48a2f396dede39eae20fcfe551bb11832360a5b (patch) | |
| tree | 19763eab59218ca08658dc8165e733ac6bd7f0ff /test/monniaux/mod_int_mat | |
| parent | 2b36046e05e6688d225ca0ecc4e8436bd8c2720f (diff) | |
| download | compcert-kvx-d48a2f396dede39eae20fcfe551bb11832360a5b.tar.gz compcert-kvx-d48a2f396dede39eae20fcfe551bb11832360a5b.zip | |
remove cruft dealing with __int128 and __thread
Diffstat (limited to 'test/monniaux/mod_int_mat')
| -rw-r--r-- | test/monniaux/mod_int_mat/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/monniaux/mod_int_mat/Makefile b/test/monniaux/mod_int_mat/Makefile index b285c03c..f904c1e4 100644 --- a/test/monniaux/mod_int_mat/Makefile +++ b/test/monniaux/mod_int_mat/Makefile @@ -2,7 +2,7 @@ CFLAGS=-Wall -O3 K1C_CC=k1-mbr-gcc K1C_CFLAGS=-Wall -O3 -std=c99 K1C_CCOMP=../../../ccomp -K1C_CCOMPFLAGS=-Wall -O3 -D__thread= -D__int128=int +K1C_CCOMPFLAGS=-Wall -O3 PRODUCTS=int_mat.host int_mat.gcc.k1c.out int_mat.ccomp.k1c.out int_mat.ccomp.k1c.s int_mat.gcc.k1c.s int_mat.gcc.k1c int_mat.ccomp.k1c |