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/tiny-AES-c | |
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/tiny-AES-c')
-rw-r--r-- | test/monniaux/tiny-AES-c/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/monniaux/tiny-AES-c/Makefile b/test/monniaux/tiny-AES-c/Makefile index 7b9122eb..c369e40f 100644 --- a/test/monniaux/tiny-AES-c/Makefile +++ b/test/monniaux/tiny-AES-c/Makefile @@ -5,8 +5,8 @@ CC = ../../../ccomp LD = ../../../ccomp AR = ar ARFLAGS = rcs -CFLAGS = -Wall -O3 -c -D__thread= -D__int128=int -LDFLAGS = -Wall -O3 -Wl,-Map,test.map +CFLAGS = -Wall -O3 -c +LDFLAGS = -Wall -O3 # -Wl,-Map,test.map ifdef AES192 CFLAGS += -DAES192=1 endif |