Do not build anymore during release.

This is now done by Travis
ystia · Apr 6, 2018 · e9bccc4 · e9bccc4
1 parent 11e5442
commit e9bccc4
Showing 1 changed file with 4 additions and 4 deletions.
diff --git 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