#!/bin/bash -e
if [[ $0 == */* ]] ; then prefix=${0%/*}/ ; else prefix=""; fi
${prefix}agtool view-tlog "$@"
