# HG changeset patch
# User devteam
# Date 1393307128 18000
# Node ID 6c17c441f8cdf8f5dc97521cc436f7bc00648675
# Parent  7ea806787cf683279ed7b5523ea61ea52fee614a
Uploaded

diff -r 7ea806787cf6 -r 6c17c441f8cd generic_outformat_wrapper.sh
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/generic_outformat_wrapper.sh	Tue Feb 25 00:45:28 2014 -0500
@@ -0,0 +1,3 @@
+#!/bin/bash
+eval java -Xmx2G -jar $JAVA_JAR_PATH/$1.jar O=$2.$3 ${*:4} 2>&1
+mv $2.$3 $2