#!/bin/bash set -e if [ -z "$HYSOP_ROOT" ]; then HYSOP_ROOT=$(pwd) echo "Warning: HYSOP_ROOT has not been set." echo "Setting HYSOP_ROOT to '$HYSOP_ROOT'" fi $HYSOP_ROOT/ci/scripts/test.sh $HYSOP_ROOT $HYSOP_ROOT/hysop exit 0