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 } }
