From 02b2b1ed03c1ea84fa47b4f21b9960599903b683 Mon Sep 17 00:00:00 2001
From: Jason Hiser <jdhiser@gmail.com>
Date: Tue, 30 Oct 2018 16:39:00 +0000
Subject: [PATCH] plugin-ify zipr step

Former-commit-id: 10e8c48928e1d023fee380344b2a3bd4ac8a0098
---
 plugins_install/zipr.sh | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100755 plugins_install/zipr.sh

diff --git a/plugins_install/zipr.sh b/plugins_install/zipr.sh
new file mode 100755
index 000000000..e37c8e25d
--- /dev/null
+++ b/plugins_install/zipr.sh
@@ -0,0 +1,7 @@
+#/bin/bash 
+
+cloneid=$1
+shift
+other_opts="$@"
+
+(set -x ; LD_LIBRARY_PATH=$LD_LIBRARY_PATH:$ZIPR_INSTALL/lib $ZIPR_INSTALL/bin/zipr.exe --variant $cloneid --zipr:objcopy $PS_OBJCOPY $other_opts)
-- 
GitLab