| commit | 991f14c283b8caf48ee1c6325be2523e33dcf635 | [log] [tgz] |
|---|---|---|
| author | Mike Marchetti <mmarchetti@sandvine.com> | Tue May 30 13:13:56 2017 -0400 |
| committer | Mike Marchetti <mmarchetti@sandvine.com> | Wed May 31 15:57:57 2017 -0400 |
| tree | e61b343288813e79d6f4cf124d94f78d2deb146f | |
| parent | 03fcdf4dea5af89d6b725797ccba1dae9ebfa8bd [diff] [blame] |
system jenkins pipeline Change-Id: Id6d0f202b1aa39844519271a34369a147fa6fcea Signed-off-by: Mike Marchetti <mmarchetti@sandvine.com>
diff --git a/jenkins/host/start_build b/jenkins/host/start_build index ecb8ee5..02bfcc2 100755 --- a/jenkins/host/start_build +++ b/jenkins/host/start_build
@@ -34,6 +34,7 @@ shift [ $# -lt 1 ] && FATAL "missing container name with option --build-container" export OSM_BUILD_CONTAINER=$1 + shift fi if ! container_exists $OSM_BUILD_CONTAINER; then