#!/bin/sh
thisdir=`dirname "$0"`
bugids=`$thisdir/bugids "$@"`
if test "$?" != "0"; then echo "$bugids" 1>&2; exit 1; fi
echo "$bugids" | wc -w