From 30e1c4e3ce5ca49e5895d79f87695b9c4b4b1e02 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Felix=20D=C3=B6rre?= <felix@dogcraft.de>
Date: Tue, 27 Sep 2016 16:08:26 +0200
Subject: [PATCH] add: import script for json.org

Change-Id: I2d67e7ce167e2ddc5a4a5d439835a0bc33861a30
---
 doc/scripts/.gitignore |  1 +
 doc/scripts/getJson.sh | 16 ++++++++++++++++
 2 files changed, 17 insertions(+)
 create mode 100644 doc/scripts/getJson.sh

diff --git a/doc/scripts/.gitignore b/doc/scripts/.gitignore
index ea4975ec..a9ef6c68 100644
--- a/doc/scripts/.gitignore
+++ b/doc/scripts/.gitignore
@@ -1 +1,2 @@
 /*.csr
+/JSON-java
diff --git a/doc/scripts/getJson.sh b/doc/scripts/getJson.sh
new file mode 100644
index 00000000..8e06c436
--- /dev/null
+++ b/doc/scripts/getJson.sh
@@ -0,0 +1,16 @@
+#!/bin/bash
+[[ -d JSON-java ]] || git clone https://github.com/stleary/JSON-java JSON-java
+base=$(dirname $0)/../../..
+
+cd JSON-java
+if [[ "$(git rev-parse refs/tags/20160810)" != "37582a44ada8e5bbe6d987f41d3f834aaf28934c" ]]; then
+    echo "tag 20160810 has incorrect checksum" >&2
+    exit 1
+fi
+
+git checkout refs/tags/20160810
+mkdir -p $base/lib/json/org/json
+cp -R JSON* $base/lib/json/org/json
+rm $base/lib/json/org/json/JSONML.java
+# $base/lib/json/org/json/JSONPointer*
+
-- 
2.39.2