#!/bin/bash -e cd "$(dirname "$0")"/.. function run { desc="$1" shift echo "Running $desc" if ! "$@"; then printf "\n\e[31;1mFAILED\e[0m $desc\n" exit 1 else echo fi } run 'clean repo' ./tools/clean-repo run 'lint checkers' ./tools/check-all run 'server tests' ./tools/test-backend run 'web client tests' ./zephyr/tests/frontend/run printf '\n\e[32mAll OK!\e[0m\n'