force running scripts in bash, as it's not the default shell on Ubuntu (which is what Travis runs)
This commit is contained in:
parent
ebc9859cce
commit
20becf8735
8 changed files with 10 additions and 2 deletions
|
@ -1,7 +1,8 @@
|
|||
#!/bin/bash
|
||||
RIOT_BRANCH=master
|
||||
|
||||
BASE_DIR=$(readlink -f $(dirname $0))
|
||||
if [[ -d $BASE_DIR/riot-web ]]; then
|
||||
if [ -d $BASE_DIR/riot-web ]; then
|
||||
echo "riot is already installed"
|
||||
exit
|
||||
fi
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue