diff --git a/Jenkinsfile b/Jenkinsfile index 890808b..2b1e6c6 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -48,7 +48,7 @@ pipeline{ set -e export WORKSPACE=$(realpath "./jenkins/workspace/antos") cd $WORKSPACE - export BUILDDIR="BUILDDIR=/home/dany/docker/antos/htdocs/os" + export BUILDDIR="/home/dany/docker/antos/htdocs/os" make ''' }