diff --git a/extras/packaging/gnu-linux/Jenkinsfile b/extras/packaging/gnu-linux/Jenkinsfile index 5150c109fd161464e76a3bdc5e5fce0f9b1cd24f..87dff35bf4818e488d83e19a9b82c0b74255bf15 100644 --- a/extras/packaging/gnu-linux/Jenkinsfile +++ b/extras/packaging/gnu-linux/Jenkinsfile @@ -77,8 +77,10 @@ pipeline { string(name: 'PACKAGING_TARGETS', defaultValue: '', description: 'A whitespace-separated list of packaging ' + - 'targets, e.g. "debian_10 snap". ' + - 'When left unspecified, all the packaging targets are built.') + 'targets, e.g. "debian_10 deb-pack-x86-64 rpm-pack-x86-64 snap". ' + + 'When left unspecified, all the packaging targets are built. ' + + 'To see the available targets, run: ' + + 'make -f extras/packaging/gnu-linux/Makefile list-package-targets') } environment {