From db202dba71b51235798c1bc993c552bc9d29baa1 Mon Sep 17 00:00:00 2001
From: Yoann Lecuyer <yoann.lecuyer@gmail.com>
Date: Wed, 26 Jul 2017 11:44:59 -0500
Subject: [PATCH] wrong diff url

---
 build/main.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build/main.sh b/build/main.sh
index 5197cf85..8f85678f 100755
--- a/build/main.sh
+++ b/build/main.sh
@@ -3,7 +3,7 @@ FORMAT_FILE=../README.md
 if [ "$TRAVIS_PULL_REQUEST" != "false" ]; then
     echo "running on Pull Request #$TRAVIS_PULL_REQUEST"
     DIFF_URL="https://patch-diff.githubusercontent.com/raw/toddmotto/public-apis/pull/$TRAVIS_PULL_REQUEST.diff"
-    curl https://patch-diff.githubusercontent.com/raw/toddmotto/public-apis/pull/398.diff > diff.txt
+    curl $DIFF_URL > diff.txt
     echo "------- BEGIN DIFF -------"
     cat diff.txt
     echo "-------- END DIFF --------"