From d48a2f396dede39eae20fcfe551bb11832360a5b Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Wed, 30 Jan 2019 17:13:15 +0100 Subject: remove cruft dealing with __int128 and __thread --- test/monniaux/uzlib/make.log | 24 ------------------------ 1 file changed, 24 deletions(-) delete mode 100644 test/monniaux/uzlib/make.log (limited to 'test/monniaux/uzlib') diff --git a/test/monniaux/uzlib/make.log b/test/monniaux/uzlib/make.log deleted file mode 100644 index 56e39658..00000000 --- a/test/monniaux/uzlib/make.log +++ /dev/null @@ -1,24 +0,0 @@ -make -C src all -make[1]: Entering directory '/home/monniaux/progs/compcert/tests/uzlib/src' -/opt/CompCert/3.4/x86_64-linux/bin/ccomp -Wall -Os -o tinflate.o -c tinflate.c -/opt/CompCert/3.4/x86_64-linux/bin/ccomp -Wall -Os -o tinfgzip.o -c tinfgzip.c -/opt/CompCert/3.4/x86_64-linux/bin/ccomp -Wall -Os -o tinfzlib.o -c tinfzlib.c -/opt/CompCert/3.4/x86_64-linux/bin/ccomp -Wall -Os -o adler32.o -c adler32.c -/opt/CompCert/3.4/x86_64-linux/bin/ccomp -Wall -Os -o crc32.o -c crc32.c -/opt/CompCert/3.4/x86_64-linux/bin/ccomp -Wall -Os -o defl_static.o -c defl_static.c -/opt/CompCert/3.4/x86_64-linux/bin/ccomp -Wall -Os -o genlz77.o -c genlz77.c -rm -f ../lib/libtinf.a -ar -frs ../lib/libtinf.a tinflate.o tinfgzip.o tinfzlib.o adler32.o crc32.o defl_static.o genlz77.o -ar: creating ../lib/libtinf.a -ranlib ../lib/libtinf.a -make[1]: Leaving directory '/home/monniaux/progs/compcert/tests/uzlib/src' -make -C examples/tgzip all -make[1]: Entering directory '/home/monniaux/progs/compcert/tests/uzlib/examples/tgzip' -/opt/CompCert/3.4/x86_64-linux/bin/ccomp -Wall -I../../src -Os -c tgzip.c -/opt/CompCert/3.4/x86_64-linux/bin/ccomp -Wall -I../../src -Os -s -Wl,-Map,ld.map -o tgzip tgzip.o ../../lib/libtinf.a ../../lib/libtinf.a -make[1]: Leaving directory '/home/monniaux/progs/compcert/tests/uzlib/examples/tgzip' -make -C examples/tgunzip all -make[1]: Entering directory '/home/monniaux/progs/compcert/tests/uzlib/examples/tgunzip' -/opt/CompCert/3.4/x86_64-linux/bin/ccomp -Wall -I../../src -Os -c tgunzip.c -/opt/CompCert/3.4/x86_64-linux/bin/ccomp -Wall -I../../src -Os -s -Wl,-Map,ld.map -o tgunzip tgunzip.o ../../lib/libtinf.a ../../lib/libtinf.a -make[1]: Leaving directory '/home/monniaux/progs/compcert/tests/uzlib/examples/tgunzip' -- cgit