--- src/ORBitutil/machine_endian.awk.orig Thu Aug 20 09:50:40 1998 +++ src/ORBitutil/machine_endian.awk Thu Aug 20 09:51:22 1998 @@ -10,8 +10,10 @@ if (def["HAVE_MACHINE_ENDIAN_H"] || def["HAVE_ENDIAN_H"] || def["HAVE_SYS_MACHINE_H"] || def["HAVE_SYS_ENDIAN_H"]) { if (def["HAVE_MACHINE_ENDIAN_H"]) print "#include "; - if (def["HAVE_MACHINE_TYPES_H"]) + if (def["HAVE_MACHINE_TYPES_H"]) { + print "#include "; print "#include "; + } if (def["HAVE_SYS_MACHINE_H"]) print "#include "; if (def["HAVE_SYS_ENDIAN_H"])