blob: b41412a12223172b3b33331ebfddf28da4b50370 [file] [log] [blame]
#!/bin/sh
thisdir=`dirname "$0"`
bugids=`$thisdir/bugids "$@"`
if test "$?" != "0"; then echo "$bugids" 1>&2; exit 1; fi
echo "$bugids" | wc -w