#!/bin/bash set -e set -o pipefail time nice tests/using-intree tests/run-all