From 3828748eee48a19c56cfc9c175f3525ca9cf1560 Mon Sep 17 00:00:00 2001
From: Dave Machado <dave@davemachado.com>
Date: Fri, 22 Dec 2017 20:21:43 -0500
Subject: [PATCH] Remove duplicate JSON build steps

---
 build/main.sh | 13 +------------
 1 file changed, 1 insertion(+), 12 deletions(-)

diff --git a/build/main.sh b/build/main.sh
index 09aa7fa7..f95a2278 100755
--- a/build/main.sh
+++ b/build/main.sh
@@ -29,18 +29,7 @@ else
 
 fi
 
-echo "checking if /json was changed..."
-egrep "\+{3}\s.\/json\/" diff.txt > json.txt
-if [[$? == 0]]; then
-    echo "JSON files are auto-generated! Please do not update these files:"
-    cat json.txt
-    exit 1
-else
-    echo "/json check passed!"
-    rm json.txt
-fi
-
-echo "running format validation on $FORMAT_FILE..."
+echo "running format validation..."
 ./validate_format.rb $FORMAT_FILE
 if [[ $? != 0 ]]; then
   echo "format validation failed!"