Skip to content

Commit

Permalink
Check for valid LOCAL_PKG path
Browse files Browse the repository at this point in the history
  • Loading branch information
Pro committed Nov 19, 2018
1 parent e98eab0 commit 8e08a2c
Showing 1 changed file with 10 additions and 1 deletion.
11 changes: 10 additions & 1 deletion tools/travis/travis_linux_before_install.sh
Original file line number Diff line number Diff line change
@@ -1,6 +1,11 @@
#!/bin/bash
set -ev

if [ -z ${LOCAL_PKG+x} ] || [ -z "$LOCAL_PKG" ]; then
echo "LOCAL_PKG is not set. Aborting..."
exit 1
fi

echo "=== Updating the build environment in $LOCAL_PKG ==="

#echo "=== Installing from external package sources ==="
Expand Down Expand Up @@ -36,7 +41,11 @@ fi
echo "=== The build environment is outdated ==="

# Clean up
rm -rf $LOCAL_PKG/*
# additional safety measure to avoid rm -rf on root
# only execute it on travis
if ! [ -z ${TRAVIS+x} ]; then
rm -rf $LOCAL_PKG/*
fi

# Install newer valgrind
echo "=== Installing valgrind ==="
Expand Down

0 comments on commit 8e08a2c

Please sign in to comment.