Merge branch 'dev' of https://github.com/gawati/gawati-portal-ui into…

… dev
gawati · Apr 24, 2018 · eb11e11 · eb11e11
2 parents 46090e0 + 060ff83
commit eb11e11
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -37,6 +37,7 @@ pipeline {
 wget -qO- http://dl.gawati.org/dev/jenkinslib-latest.tbz | tar -xvjf -
 . ./jenkinslib.sh
 cd build
+about >about
 PkgPack
 PkgLinkLatest
 '''