#!/bin/bash

TINI_HOME=/usr/local/tini

if [ "$JAVA_HOME" == "" ] ; then
	        JAVA="java";
else
	        JAVA=$JAVA_HOME/bin/java
fi

if [ "$1" == "--help" ] ; then
	echo 'Builds a TINI binary'
	echo 'Usage:'
	echo 'tiniconvertor <class file> <output file>'
else

$JAVA  -classpath $TINI_HOME/bin/tini.jar TINIConvertor -f $1 -o $2 -d $TINI_HOME/bin/tini.db  

fi