Update Jenkinsfile

This commit is contained in:
Dany LE 2022-08-02 11:57:43 +02:00 committed by GitHub
parent 558ef1b3ef
commit bb8991c1a1
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

4
Jenkinsfile vendored
View File

@ -33,13 +33,13 @@ pipeline{
set -e set -e
export WORKSPACE=$(realpath "./jenkins/workspace/antos") export WORKSPACE=$(realpath "./jenkins/workspace/antos")
[ -d build ] && rm -rf build [ -d build ] && rm -rf build
mkdir build mkdir build/opt/www/htdocs/os
cd $WORKSPACE cd $WORKSPACE
npm install terser npm install terser
npm install uglifycss npm install uglifycss
npm install typescript npm install typescript
npm install @types/jquery npm install @types/jquery
export BUILDDIR="$WORKSPACE/build" export BUILDDIR="$WORKSPACE/build/opt/www/htdocs/os"
make release make release
''' '''
script { script {