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

set -e
set -u

if [ -d /results ] ; then
  # Running from Jenkins (RW)
  RESULTS="/results"

  cd "/code"
else
  # Running locally in Docker
  RESULTS="./results"
  mkdir -p "${RESULTS}"
fi

make
make syntaxcheck
make script_version