view tpc @ 351:04ba2118c5fe

Rename (dict hash) size to (dict hash) length and make it actually work
author Michael Pavone <pavone@retrodev.com>
date Mon, 13 Apr 2015 22:41:00 -0700
parents c801dccdb4fb
children
line wrap: on
line source

#!/bin/sh

args=
dir=`dirname $0`
while [ $# -gt 0 ]; do
	if [ "-o" = "$1" ]; then
		shift
		output="$1"
	else	
		args="$args $1"
	fi
	shift
done

if [ $output ]; then
	if d8 $dir/tpc.js -- $args > $output; then
		exit
	else
		code=$?
		cat $output 1>&2
		rm -f $output
		exit $code
	fi
else
	d8 $dir/tpc.js -- $args
fi