If NO32LIBS is set to false, one would assume that you would get a 32 bit version of libpseudo, but if you are missing gnu/stubs-32.h it will silently not build the library, and not report it not built, which can cause other failures when attempting to run pseudo with other 32bit binaries like external toolchains
Yup. This is a sort of historical quirk and should get cleaned up. Sent out patch to list.
commit b099c7b36e6a61559a6af1b6e6853fecf0e79606 Author: Peter Seebach <peter.seebach@windriver.com> Date: 2013-07-26 pseudo: Always try to build 32-bit libpseudo when NO32LIBS is set to 0
Hmm, not sure why I am CC'ed really, but thanks anyway. :-)