#!/bin/bash # common settings and functions for test scripts if [[ $(uname) == "Darwin" ]] ; then export timeout="gtimeout" export mktemp="gmktemp" else export timeout="timeout" export mktemp="mktemp" fi fail_test() { echo "FAIL: $@" exit 1 } function run-test() { "$@" || failures=$( [ -n "$failures" ] && echo "$failures\\n$@" || echo "$@" ) }