From 74dcb5ff055e7743f5826b92c31fcd63c6b1e387 Mon Sep 17 00:00:00 2001
From: Kevin Gallagher <kevin@z.cash>
Date: Fri, 14 Oct 2016 19:25:09 -0700
Subject: [PATCH] Include contrib/devtools/split-debug.sh from upstream

---
 contrib/devtools/split-debug.sh | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100755 contrib/devtools/split-debug.sh

diff --git a/contrib/devtools/split-debug.sh b/contrib/devtools/split-debug.sh
new file mode 100755
index 000000000..16fda3005
--- /dev/null
+++ b/contrib/devtools/split-debug.sh
@@ -0,0 +1,10 @@
+#!/bin/sh
+
+if [ $# -ne 3 ];
+    then echo "usage: $0 <input> <stripped-binary> <debug-binary>"
+fi
+
+/usr/bin/objcopy --enable-deterministic-archives -p --only-keep-debug $1 $3
+/usr/bin/objcopy --enable-deterministic-archives -p --strip-debug $1 $2
+/usr/bin/strip --enable-deterministic-archives -p -s $2
+/usr/bin/objcopy --enable-deterministic-archives -p --add-gnu-debuglink=$3 $2