Fix for ticket:133, merged from eb/bsd 4322:4324.
[debian/gnuradio] / gnuradio-core / src / lib / omnithread / ot_VxThread.h
2006-08-03 jcorganHouston, we have a trunk.