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