.travis-setup.sh

#!/bin/sh

# This file is part of BenchExec, a framework for reliable benchmarking:
# https://github.com/sosy-lab/benchexec
#
# SPDX-FileCopyrightText: 2007-2020 Dirk Beyer <https://www.sosy-lab.org>
#
# SPDX-License-Identifier: Apache-2.0

set -e

echo ------------------------
echo "Existing mount points:"
mount
echo ------------------------
echo "Existing users:"
getent passwd
echo ------------------------

PRIMARY_USER="$1"

# Set up cgroups
for i in blkio cpuacct cpuset freezer memory cpu; do
  if [ ! -d "/sys/fs/cgroup/$i" ]; then
    mkdir /sys/fs/cgroup/$i
    mount cgroup-$i /sys/fs/cgroup/$i -t cgroup -o $i
  fi
  chgrp "$(id -g "$PRIMARY_USER")" /sys/fs/cgroup/$i
  chmod g+rwx /sys/fs/cgroup/$i
done