#!/bin/bash
# This script is used for running the tests with proper arguments
# from within Jenkins

set -e
set -u

RESULTS=/results make test