test_examples.sh

#!/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

export DO_TESTS=false
export DO_LONG_TESTS=false
export DO_EXAMPLES=true
$HYSOP_ROOT/ci/scripts/test.sh $HYSOP_ROOT $HYSOP_ROOT/hysop

exit 0