Betriebssysteme/ci/run-travis.sh

#!/usr/bin/env bash

# Exit script on the first error
set -o errexit -o nounset

MY_PATH="$(dirname "$0")"

# basic style check
"$MY_PATH/check-basic-style.py"

# check that everything compiles and all tests pass
"$MY_PATH/test-rust.sh"

# file existence
echo "=== Checking for Missing Files ======================================="
"$MY_PATH/check-files.py"

echo "++++++++++++++++++++++++++++++++++++++++++++++++++++"
echo "+              Everything is fine!                 +"
echo "++++++++++++++++++++++++++++++++++++++++++++++++++++"