view tpc @ 118:0a66fe3a368a

Allow selection and navigation of assignment nodes.
author Mike Pavone <pavone@retrodev.com>
date Mon, 15 Apr 2013 21:55:26 -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