diff --git a/jenkins/compare.sh b/jenkins/compare.sh index a2f560325d..afd98cc8e1 100755 --- a/jenkins/compare.sh +++ b/jenkins/compare.sh @@ -34,5 +34,20 @@ cp -R tools/comparison/apidiff/diff jenkins-results/apicomparison/ cp tools/comparison/apidiff/*.html jenkins-results/apicomparison/ cp -R tools/comparison/generator-diff jenkins-results/generator-diff -printf "✅ [API Diff (from PR only)](%s/API_20diff_20_28PR_20only_29)\\n" "$BUILD_URL" >> "$WORKSPACE/jenkins/pr-comments.md" -printf "✅ [Generator Diff](%s/Generator_20Diff)\\n" "$BUILD_URL" >> "$WORKSPACE/jenkins/pr-comments.md" +printf "✅ [API Diff (from PR only)](%s/API_20diff_20_28PR_20only_29)" "$BUILD_URL" >> "$WORKSPACE/jenkins/pr-comments.md" +if ! grep "href=" jenkins-results/apicomparison/api-diff.html >/dev/null 2>&1; then + printf " (no change)" >> "$WORKSPACE/jenkins/pr-comments.md" +elif perl -0777 -pe 's/