aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux/micro-bunzip
diff options
context:
space:
mode:
authorDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-01-30 16:08:49 +0100
committerDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-01-30 16:08:49 +0100
commitd8bef07031a1928e7e071c47f3d3702d4d9a4ca3 (patch)
tree610f33e71ea2cd961530490c06ad4c08b1633ee6 /test/monniaux/micro-bunzip
parent13b1453843f7cced14093f31ba2aac05a0e0cc43 (diff)
downloadcompcert-kvx-d8bef07031a1928e7e071c47f3d3702d4d9a4ca3.tar.gz
compcert-kvx-d8bef07031a1928e7e071c47f3d3702d4d9a4ca3.zip
remove preprocessor directives about SIZE_TYPE, now useless (long is now 8 bytes like in gcc)
Diffstat (limited to 'test/monniaux/micro-bunzip')
-rw-r--r--test/monniaux/micro-bunzip/Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/test/monniaux/micro-bunzip/Makefile b/test/monniaux/micro-bunzip/Makefile
index bd317980..ccd21360 100644
--- a/test/monniaux/micro-bunzip/Makefile
+++ b/test/monniaux/micro-bunzip/Makefile
@@ -9,7 +9,7 @@ micro-bunzip.host: micro-bunzip.c ../clock.c
$(CC) $+ -o $@
micro-bunzip.ccomp.k1c: micro-bunzip.c ../clock.gcc.k1c.o
- ../../../ccomp -Wall -O3 $+ -U __SIZEOF_INT128__ -D __SIZE_TYPE__='unsigned long long' -o $@
+ ../../../ccomp -Wall -O3 $+ -U __SIZEOF_INT128__ -o $@
# TODO: -O3 buggy??
micro-bunzip.gcc.k1c: micro-bunzip.c ../clock.gcc.k1c.o