From e5e9827ff5d5fae8cbfe701d8487981fc8352b36 Mon Sep 17 00:00:00 2001 From: garciadeblas Date: Wed, 31 Aug 2016 15:15:02 +0200 Subject: [PATCH] Minor bug fixed in RO/start_build Change-Id: I5339ec6d2713de070354eccee56903263fda0d80 Signed-off-by: garciadeblas --- jenkins/RO/start_build | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/jenkins/RO/start_build b/jenkins/RO/start_build index b6336792..f3d2117c 100755 --- a/jenkins/RO/start_build +++ b/jenkins/RO/start_build @@ -34,7 +34,7 @@ else cd $OSM_MDG fi if [ $# -gt 0 ]; then - git checkout $1 + git checkout $1 || FATAL "git checkout '$1' didn't work" fi INFO "starting build" -- 2.25.1