projects
/
osm
/
SO.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
2528ad5
)
cleanup .build directory prior to build
42/1942/1
author
Mike Marchetti
<mmarchetti@sandvine.com>
Mon, 19 Jun 2017 14:42:39 +0000
(10:42 -0400)
committer
Mike Marchetti
<mmarchetti@sandvine.com>
Mon, 19 Jun 2017 14:42:39 +0000
(10:42 -0400)
Signed-off-by: Mike Marchetti <mmarchetti@sandvine.com>
Jenkinsfile
patch
|
blob
|
history
diff --git
a/Jenkinsfile
b/Jenkinsfile
index
f6f9a71
..
7caef74
100644
(file)
--- a/
Jenkinsfile
+++ b/
Jenkinsfile
@@
-8,6
+8,7
@@
pipeline {
dockerfile true
}
steps {
+ sh 'rm -rf .build'
sh 'make NOT_DEVELOPER_BUILD=TRUE -j16 package'
stash name: "deb-files", includes: ".build/*.deb"
}