#!/bin/sh
-# $Id: showtest,v 1.2 2002-11-03 17:02:48 mike Exp $
+# $Id: showtest,v 1.3 2002-11-06 22:03:58 mike Exp $
if [ $# != 1 ]; then
echo "Usage: $0 <test-name>" >&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