diff options
author | 2017-06-08 10:58:38 +0200 | |
---|---|---|
committer | 2017-06-08 10:58:38 +0200 | |
commit | 60f9fc3edec5e10a54c2056aba757fcc51ac0210 (patch) | |
tree | 3a2880539079bc51d6c0dad1bc03db6e028ded32 /jjb/common/include-apps-build-app.sh | |
parent | 28be63f45953355abe1e45f0b26f25e75ac01fe6 (diff) |
Fix git checkout and be less verbose
Change-Id: I7d2b374f1ee0fe0d96c984c3e757f2fd49dd6a22
Signed-off-by: Jan-Simon Möller <jsmoeller@linuxfoundation.org>
Diffstat (limited to 'jjb/common/include-apps-build-app.sh')
-rw-r--r-- | jjb/common/include-apps-build-app.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/jjb/common/include-apps-build-app.sh b/jjb/common/include-apps-build-app.sh index 01d765d0..8940ac00 100644 --- a/jjb/common/include-apps-build-app.sh +++ b/jjb/common/include-apps-build-app.sh @@ -40,7 +40,7 @@ HANDLED="no" # Projects in apps/* ################### -if [[ ! x"yes" = x"$HANDLED" ]] && $(echo "$TARGETPROJECT" | grep -q "^apps/"); then +if [[ ! x"yes" = x"$HANDLED" ]] && $(echo "$TARGETPROJECT" | grep -q "apps/"); then MYPROJECT=`echo $TARGETPROJECT | sed -e "s#apps/##g"` @@ -50,7 +50,8 @@ if [[ ! x"yes" = x"$HANDLED" ]] && $(echo "$TARGETPROJECT" | grep -q "^apps/"); git clone https://${GERRIT_HOST}/gerrit/${GERRIT_PROJECT}.git pushd ${MYPROJECT} git log -1 - git reset --hard ${GERRIT_REFSPEC} + git fetch ${TARGET_REFSPEC} + git reset --hard FETCH_HEAD git log -1 if test -f Makefile ; then make |