7eeb782e AT |
1 | #!/bin/sh |
2 | |
3 | GNUGO=../interface/gnugo |
4 | |
5 | gtpfile=$1 |
6 | options=$2 # May be omitted |
7 | options2=$3 # May be omitted FIXME: Do multiple options nicer. |
8 | |
9 | $GNUGO --quiet $options $options2 --mode gtp <$gtpfile | egrep '^[=?][0-9]+' | cut -c 2- |