amend previous

pull/5/head
Andrew Dolgov 2 years ago
parent d419fd0c03
commit 6e9307a9f1

@ -13,7 +13,7 @@ BUILD_COMMIT=$(git --git-dir=$DST_DIR/.git --no-pager log --pretty='%H' -n1 HEAD
echo built for: $BUILD_COMMIT
if [ ! -z $ORIGIN_COMMIT -a "$ORIGIN_COMMIT" != "$BUILD_COMMIT" ]; then
if [ ! -z "$ORIGIN_COMMIT" -a "$ORIGIN_COMMIT" != "$BUILD_COMMIT" ]; then
echo actual build commit differs from requested commit, bailing out.
exit 1
fi

Loading…
Cancel
Save