From dda721ec07df0fd6beeea7f7b02a03285ec638ed Mon Sep 17 00:00:00 2001
From: micbou <contact@micbou.com>
Date: Tue, 5 Sep 2017 16:34:00 +0200
Subject: [PATCH] Fix directory creation on Linux Travis

Travis complains that the /home/travis/bin folder already exists when creating
it. Use mkdir with the -p option.
---
 ci/travis/travis_install.linux.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ci/travis/travis_install.linux.sh b/ci/travis/travis_install.linux.sh
index b09d1ab1..cd4222e5 100644
--- a/ci/travis/travis_install.linux.sh
+++ b/ci/travis/travis_install.linux.sh
@@ -3,7 +3,7 @@
 # We can't use sudo, so we have to approximate the behaviour of setting the
 # default system compiler.
 
-mkdir ${HOME}/bin
+mkdir -p ${HOME}/bin
 
 ln -s /usr/bin/g++-4.8 ${HOME}/bin/c++
 ln -s /usr/bin/gcc-4.8 ${HOME}/bin/cc