OS_TYPE            15 gc/if_mach.c       if (strcmp(OS_TYPE, "") != 0 && strcmp(argv[2], "") != 0
OS_TYPE            16 gc/if_mach.c           && strcmp(OS_TYPE, argv[2]) != 0) return(0);
OS_TYPE            25 gc/if_mach.c       	    MACH_TYPE, OS_TYPE);
OS_TYPE          1963 gc/include/private/gcconfig.h # ifndef OS_TYPE
OS_TYPE            68 gc/setjmp_t.c  	printf("This appears to be a %s running %s\n", MACH_TYPE, OS_TYPE);