diff options
author | Edoardo Pasca <edo.paskino@gmail.com> | 2019-03-11 13:27:58 -0400 |
---|---|---|
committer | Edoardo Pasca <edo.paskino@gmail.com> | 2019-03-11 13:27:58 -0400 |
commit | 431cc82f3b09c337ec4d46e7c1d21a0a1b0dbc35 (patch) | |
tree | 7202dfd000c0dd0d1f8c83af676c8b953cf578d8 /build/jenkins-build.sh | |
parent | fa64464acfb747c4e606a28193514711e4eefcc6 (diff) | |
download | framework-431cc82f3b09c337ec4d46e7c1d21a0a1b0dbc35.tar.gz framework-431cc82f3b09c337ec4d46e7c1d21a0a1b0dbc35.tar.bz2 framework-431cc82f3b09c337ec4d46e7c1d21a0a1b0dbc35.tar.xz framework-431cc82f3b09c337ec4d46e7c1d21a0a1b0dbc35.zip |
run default verbose True excludes callback
Diffstat (limited to 'build/jenkins-build.sh')
0 files changed, 0 insertions, 0 deletions