23 lines
345 B
23 lines
345 B
#!/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 check
|
|
make syntaxcheck
|
|
make script_version
|