pavone@76: #!/bin/sh pavone@76: pavone@76: args= pavone@76: dir=`dirname $0` pavone@76: while [ $# -gt 0 ]; do pavone@76: if [ "-o" = "$1" ]; then pavone@76: shift pavone@76: output="$1" pavone@76: else pavone@76: args="$args $1" pavone@76: fi pavone@76: shift pavone@76: done pavone@76: pavone@76: if [ $output ]; then pavone@76: if d8 $dir/tpc.js -- $args > $output; then pavone@76: exit pavone@76: else pavone@76: code=$? pavone@76: cat $output 1>&2 pavone@76: rm -f $output pavone@76: exit $code pavone@76: fi pavone@76: else pavone@76: d8 $dir/tpc.js -- $args pavone@76: fi pavone@76: