Gary Jennejohn asks:
Did you do a clean build? This isn't mentioned in the "To rebuild everything" text, but since you're building a different branch I suspect that a clean build would be necessary.
Define "clean build".The script for rebuilding world has both "make cleanworld" and "make cleandir"; is that sufficient?
Respectfully, Robert Huff