From 3641f705e17b537241604c8654952d8fb5ef6020 Mon Sep 17 00:00:00 2001
From: Luca Boccassi <luca.boccassi@gmail.com>
Date: Thu, 4 Feb 2016 23:47:16 +0000
Subject: [PATCH] Problem: CI builds libsodium from dev branch

Solution: checkout stable branch instead.
Several warnings are printed when building from the master branch,
and developers recommend using the stable branch instead.
---
 ci_build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ci_build.sh b/ci_build.sh
index d69a5fa7..848be338 100755
--- a/ci_build.sh
+++ b/ci_build.sh
@@ -17,7 +17,7 @@ if [ $BUILD_TYPE == "default" ]; then
     #   Build required projects first
 
     #   libsodium
-    git clone --depth 1 git://github.com/jedisct1/libsodium.git
+    git clone --depth 1 -b stable git://github.com/jedisct1/libsodium.git
     ( cd libsodium; ./autogen.sh; ./configure --prefix=$BUILD_PREFIX; make check; make install)
 
     #   Build and check this project