You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
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
|