From 29c5bac7b0bda7d36493c2e382f3d7f269c2195b Mon Sep 17 00:00:00 2001
From: Pietro Abate <Pietro.Abate@pps.univ-paris-diderot.fr>
Date: Tue, 19 Feb 2008 16:39:49 +0000
Subject: [PATCH] - remove debug

---
 Makefile.distrib | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile.distrib b/Makefile.distrib
index 7e288d3f..ea0bb0ff 100644
--- a/Makefile.distrib
+++ b/Makefile.distrib
@@ -20,7 +20,7 @@ PACKAGES = camlp4 ulex pcre num netstring
 
 # Call make with VERBOSE=true to get a trace of commands
 
-VERBOSE=true
+VERBOSE=false
 
 ifneq ($(VERBOSE), true)
    HIDE=@
-- 
2.18.1