diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh index a5993da8..6fb3d1a4 100755 --- a/contrib/jenkins.sh +++ b/contrib/jenkins.sh @@ -4,7 +4,7 @@ # environment variables: # * WITH_MANUALS: build manual PDFs if set to "1" # * PUBLISH: upload manuals after building if set to "1" (ignored without WITH_MANUALS = "1") -# * JOB_TYPE: one of 'test', 'pylint', 'docs' +# * JOB_TYPE: one of 'test', 'distcheck', 'pylint', 'docs' # export PYTHONUNBUFFERED=1 @@ -32,6 +32,17 @@ case "$JOB_TYPE" in ../tests/pySim-prog_test.sh ../tests/pySim-trace_test.sh ;; +"distcheck") + virtualenv -p python3 venv --system-site-packages + . venv/bin/activate + + pip install . + pip install pyshark + + for prog in venv/bin/pySim-*.py; do + $prog --help > /dev/null + done + ;; "pylint") # Print pylint version pip3 freeze | grep pylint