1 #!/bin/sh 2 3 THISDIR=`dirname "$0"` 4 5 grep -o 'opcode([^)]*)' "$THISDIR/idl/"*.idl | cut -d: -f2 | grep -o '[0-9]*' | sort -n -u