diff --git a/plugins_install/zipr.sh b/plugins_install/zipr.sh new file mode 100755 index 0000000000000000000000000000000000000000..e37c8e25d4b4dc694940221a3cd62ec0f1aa845f --- /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)