Roger Shimizu <rogershim...@gmail.com> writes: > Thanks for the ticket!
Thanks for looking into it! > For the long term, I still need to figure out the root cause and fix solution. The issue appears to be that <libcork/config/config.h> doesn't recognize either OS. Per https://sourceforge.net/p/predef/mailman/message/30141549/, kFreeBSD systems predefine __FreeBSD_kernel__, and Hurd systems predefine __gnu_hurd__. > BTW. I have no access to porterbox. You can request a temporary guest account: https://dsa.debian.org/doc/guest-account/ In this case, you can also install either OS in a local VM. (You could technically also use qemu to test non-x86 builds, but much more slowly.) -- Aaron M. Ucko, KB1CJC (amu at alum.mit.edu, ucko at debian.org) http://www.mit.edu/~amu/ | http://stuff.mit.edu/cgi/finger/?a...@monk.mit.edu