#!/bin/sh

# $Id: showtest,v 1.3 2002-11-06 22:03:58 mike Exp $

if [ $# != 1 ]; then
	echo "Usage: $0 <test-name>" >&2
	echo "	e.g. $0 01/02" >&2
	exit 1
fi

### Warning: nasty hard-coded choices
( echo "=== Rob ==="
  ../../../rob/CQLParser.py < sections/$1.cql ) > /tmp/rob
( echo "=== Mike ==="
  ../../bin/CQLParser < sections/$1.cql ) > /tmp/mike
sdiff -w 80 /tmp/rob /tmp/mike