#!/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
fi
### Warning: nasty hard-coded choices
-( echo "=== Adam ==="
- ../../srw/cql/cqlparse3 < sections/$1.cql ) > /tmp/adam
+( echo "=== Rob ==="
+ ../../../rob/CQLParser.py < sections/$1.cql ) > /tmp/rob
( echo "=== Mike ==="
- ../bin/CQLParser < sections/$1.cql ) > /tmp/mike
-sdiff -w 80 /tmp/adam /tmp/mike
+ ../../bin/CQLParser < sections/$1.cql ) > /tmp/mike
+sdiff -w 80 /tmp/rob /tmp/mike