2016-09-21 17:46:00 +03:00
|
|
|
#!/bin/bash -e
|
|
|
|
|
2018-05-29 18:03:54 +03:00
|
|
|
cd "$(dirname "${BASH_SOURCE[0]}")/.."
|
|
|
|
WORKSPACE=$(pwd)
|
|
|
|
|
2018-04-05 08:37:08 +03:00
|
|
|
report_error ()
|
|
|
|
{
|
2018-05-29 18:03:54 +03:00
|
|
|
printf "🔥 [Failed to create API Diff](%s/console) 🔥\\n" "$BUILD_URL" >> "$WORKSPACE/jenkins/pr-comments.md"
|
2018-04-05 08:37:08 +03:00
|
|
|
}
|
|
|
|
trap report_error ERR
|
|
|
|
|
2016-09-21 17:46:00 +03:00
|
|
|
export BUILD_REVISION=jenkins
|
|
|
|
make -j8 -C tools/apidiff jenkins-api-diff
|
2018-04-05 08:37:08 +03:00
|
|
|
|
2018-05-29 18:03:54 +03:00
|
|
|
printf "✅ [API Diff (from stable)](%s/API_20diff_20_28from_20stable_29)\\n" "$BUILD_URL" >> "$WORKSPACE/jenkins/pr-comments.md"
|