From e1c8d92fc6460b9c44b5aef19b2d5e0a74d1e58a Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Wed, 30 Jan 2019 17:17:04 +0100
Subject: remove cruft

---
 test/monniaux/uzlib/compile.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'test/monniaux/uzlib/compile.sh')

diff --git a/test/monniaux/uzlib/compile.sh b/test/monniaux/uzlib/compile.sh
index 4c2ffe82..c97ae288 100755
--- a/test/monniaux/uzlib/compile.sh
+++ b/test/monniaux/uzlib/compile.sh
@@ -1 +1 @@
-make CC=/home/monniaux/work/Kalray/CompCert/ccomp COPT="-Wall -O3 -U__SIZEOF_INT128__"
+make CC=/home/monniaux/work/Kalray/CompCert/ccomp COPT="-Wall -O3"
-- 
cgit