This commit is contained in:
Christien Rioux
2015-12-12 23:34:12 -08:00
parent 453d2bf46e
commit bf55e8383f
2 changed files with 33 additions and 17 deletions

View File

@@ -1,12 +1,14 @@
#!/bin/sh
if [ "$1" = "" ]; then
echo "specify path to tlc binary"
exit 1
else
TLC=$1
fi
tlctest()
{
TLC=tlc
if [ -f ./tlc ]; then
TLC=./tlc
fi
OUT=`(time $TLC $1) 2>&1 | grep real | cut -f 2 | cut -c 3-`
echo "tlc: $1 $OUT"