grep out arm releases (#8024)

dothebart · jsteemann · commit 6f5314205639 · 2019-01-23T15:45:02.000+01:00
diff --git a/Installation/Jenkins/build.sh b/Installation/Jenkins/build.sh
@@ -658,6 +658,7 @@ if test "${DOWNLOAD_STARTER}" == 1; then
     STARTER_URL=$(curl -s "https://api.github.com/repos/arangodb-helper/arangodb/releases/tags/${STARTER_REV}" | \
                          grep browser_download_url | \
                          grep "${OSNAME}" | \
+                         grep -vi "ARM" | \
                          ${SED} -e "s;.*: ;;" -e 's;";;g' -e 's;,;;'
                )
     if test -n "${STARTER_URL}"; then

Original file line number	Diff line number	Diff line change
`@@ -658,6 +658,7 @@ if test "${DOWNLOAD_STARTER}" == 1; then`
`658`	`658`	`STARTER_URL=$(curl -s "https://api.github.com/repos/arangodb-helper/arangodb/releases/tags/${STARTER_REV}" \| \`
`659`	`659`	`grep browser_download_url \| \`
`660`	`660`	`grep "${OSNAME}" \| \`
	`661`	`+ grep -vi "ARM" \| \`
`661`	`662`	`${SED} -e "s;.*: ;;" -e 's;";;g' -e 's;,;;'`
`662`	`663`	`)`
`663`	`664`	`if test -n "${STARTER_URL}"; then`