15 months ago | Paul Boddie | file changeset files shortlog | Fixed unwanted mapped region growth due to adjustment of region boundaries. As the region size would be effectively rounded up from the current size every time a region was remapped, repeated remapping would cause steadily larger regions to be mapped. This appeared to cause a failure to map regions in testing, although it might not be the actual cause of such failures. |
paul@268 | 1 | #!/bin/sh |
paul@268 | 2 | |
paul@268 | 3 | THISDIR=`dirname "$0"` |
paul@268 | 4 | |
paul@268 | 5 | grep -o 'opcode([^)]*)' "$THISDIR/idl/"*.idl | cut -d: -f2 | grep -o '[0-9]*' | sort -n -u |