From a71a4695badb1fd6c50ea55bff62f6f496a85c15 Mon Sep 17 00:00:00 2001
From: Ludovic Apvrille <ludovic.apvrille@telecom-paristech.fr>
Date: Fri, 19 Feb 2016 10:56:44 +0000
Subject: [PATCH] updateMakefilegzip

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

diff --git a/Makefile b/Makefile
index f588fcf5ad..7182e0a607 100755
--- a/Makefile
+++ b/Makefile
@@ -12,7 +12,7 @@ JAVACC = /usr/bin/javacc.sh
 JAR    = jar
 JAVADOC = javadoc
 TAR = tar
-GZIP = gzip -9 -f
+GZIP = /bin/gzip -9 -f
 DEBUG  = -g
 CLASSPATH = -classpath
 SOURCEPATH = -sourcepath
-- 
GitLab