#!/bin/sh

THISDIR=`dirname "$0"`

grep -o 'opcode([^)]*)' "$THISDIR/idl/"*.idl | cut -d: -f2 | grep -o '[0-9]*' | sort -n -u
