From e9bccc42e9e19f532ffe93bff8ab15133a2b4971 Mon Sep 17 00:00:00 2001
From: Albertin Loic <loic.albertin@atos.net>
Date: Fri, 6 Apr 2018 17:22:23 +0200
Subject: [PATCH] Do not build anymore during release. This is now done by
 Travis

---
 build/release.sh | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/build/release.sh b/build/release.sh
index 98d52fd44..343c282fb 100755
--- a/build/release.sh
+++ b/build/release.sh
@@ -162,10 +162,10 @@ fi
 ####################################################
 # Make our build
 ####################################################
-echo "Building version v${version}"
-git checkout "v${version}"
-make tools || { exit 2; }
-SKIP_TESTS=1 make dist || { exit 2; }
+#echo "Building version v${version}"
+#git checkout "v${version}"
+#make tools || { exit 2; }
+#SKIP_TESTS=1 make dist || { exit 2; }
 
 # Push changes
 if [ "${dryRun}" = false ] ; then