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.
This commit is contained in:
micbou 2017-09-05 16:34:00 +02:00
parent 9a76fd2e9a
commit dda721ec07
No known key found for this signature in database
GPG Key ID: C7E8FD1F3BDA1E05

View File

@ -3,7 +3,7 @@
# We can't use sudo, so we have to approximate the behaviour of setting the # We can't use sudo, so we have to approximate the behaviour of setting the
# default system compiler. # default system compiler.
mkdir ${HOME}/bin mkdir -p ${HOME}/bin
ln -s /usr/bin/g++-4.8 ${HOME}/bin/c++ ln -s /usr/bin/g++-4.8 ${HOME}/bin/c++
ln -s /usr/bin/gcc-4.8 ${HOME}/bin/cc ln -s /usr/bin/gcc-4.8 ${HOME}/bin/cc