#!/bin/sh # $Id: showtest,v 1.6 2002-11-28 11:56:55 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/cql2xcql < sections/$1.cql ) > /tmp/adam ( echo "=== Mike ===" ../../bin/CQLParser < sections/$1.cql ) > /tmp/mike sdiff -w 80 /tmp/adam /tmp/mike