#!/bin/sh # $Id: showtest,v 1.2 2002-11-03 17:02:48 mike Exp $ if [ $# != 1 ]; then echo "Usage: $0 " >&2 echo " e.g. $0 01/02" >&2 exit 1 fi ### Warning: nasty hard-coded choices ( echo "=== Adam ===" ../../srw/cql/cqlparse3 < sections/$1.cql ) > /tmp/adam ( echo "=== Mike ===" ../bin/CQLParser < sections/$1.cql ) > /tmp/mike sdiff -w 80 /tmp/adam /tmp/mike