diff --git a/CI/ubuntu/install_deps b/CI/ubuntu/install_deps index d6698bb4..031de4d7 100755 --- a/CI/ubuntu/install_deps +++ b/CI/ubuntu/install_deps @@ -4,6 +4,12 @@ WORKDIR=$(pwd) set -ex +$PIP --version +which $PIP + +$PYTHON --version +which $PYTHON + install_deps() { echo "# Installing dependencies" @@ -85,7 +91,7 @@ build_glog() { -DCMAKE_PREFIX_PATH=/usr make sudo make install - sudo "$PIP" install --upgrade pip stdeb argparse + "$PIP" install --upgrade pip stdeb argparse cd "${WORKDIR}" }