From d69a7c577a6dcc3e5a8fd95f250688b471602742 Mon Sep 17 00:00:00 2001
From: Jeremie Dimino <jdimino@janestreet.com>
Date: Tue, 2 May 2017 14:03:08 +0100
Subject: [PATCH] Add a script to upgrade vendor/re

---
 vendor/update-re.sh | 27 +++++++++++++++++++++++++++
 1 file changed, 27 insertions(+)
 create mode 100755 vendor/update-re.sh

diff --git a/vendor/update-re.sh b/vendor/update-re.sh
new file mode 100755
index 00000000..789614e8
--- /dev/null
+++ b/vendor/update-re.sh
@@ -0,0 +1,27 @@
+#!/bin/bash
+
+version=1.7.1
+
+set -e -o pipefail
+
+TMP="$(mktemp -d)"
+trap "rm -rf $TMP" EXIT
+
+rm -rf re
+mkdir -p re/src
+
+(cd $TMP && opam source re.$version)
+
+SRC=$TMP/re.$version
+
+cp -v $SRC/LICENSE re
+
+for m in re re_automata re_cset re_fmt; do
+    for ext in ml mli; do
+        fn=$SRC/lib/$m.$ext
+        [[ -f $fn ]] && cp -v $fn re/src
+    done
+done
+
+git checkout re/src/jbuild
+git add -A .