1 # An awk script to determine the type of a file. 2 /^\177ELF\001/ { if (NR == 1) { print "elf32"; exit } } 3 /^\177ELF\002/ { if (NR == 1) { print "elf64"; exit } } 4 /^\114\001/ { if (NR == 1) { print "pecoff"; exit } } 5 /^\144\206/ { if (NR == 1) { print "pecoff"; exit } } 6 /^\001\337/ { if (NR == 1) { print "xcoff32"; exit } } 7 /^\001\367/ { if (NR == 1) { print "xcoff64"; exit } } 8 /^\376\355\372\316/ { if (NR == 1) { print "macho"; exit } } 9 /^\316\372\355\376/ { if (NR == 1) { print "macho"; exit } } 10 /^\376\355\372\317/ { if (NR == 1) { print "macho"; exit } } 11 /^\317\372\355\376/ { if (NR == 1) { print "macho"; exit } } 12 /^\312\376\272\276/ { if (NR == 1) { print "macho"; exit } } 13 /^\276\272\376\312/ { if (NR == 1) { print "macho"; exit } } 14