#!/bin/bash
##############################################################################
-# Copyright (c) 2018 The Linux Foundation and others.
+# Copyright (c) 2021 The Linux Foundation and others.
#
# All rights reserved. This program and the accompanying materials
# are made available under the terms of the Eclipse Public License v1.0
set -e -o pipefail
OS_ID=$(grep '^ID=' /etc/os-release | cut -f2- -d= | sed -e 's/\"//g')
+OS_VERSION_ID=$(grep '^VERSION_ID=' /etc/os-release | cut -f2- -d= | sed -e 's/\"//g')
if [ -n ${DOCKER_TEST} ] ; then
# for 4 cores:
sudo mount -o remount /dev/shm -o size=${MEM} || true
echo "/dev/shm remounted with size='${MEM}'"
fi
-
-# This will remove any previously installed external packages
-# for old branch builds
-if [ "${GERRIT_BRANCH}" != "master" ]; then
- if [ "${OS_ID,,}" == "ubuntu" ] || [ "${OS_ID,,}" == "debian" ] ; then
- [ -n "$(dpkg -l | grep vpp-ext-deps)" ] \
- && sudo apt-get -y remove vpp-ext-deps
- elif [ "${OS_ID,,}" == "centos" ]; then
- sudo yum -y erase vpp-ext-deps || true
- sudo yum clean all || true
- else
- echo "ERROR: Unsupported OS '$OS_ID'!"
- fi
-fi