2012-09-17 18:38:38 +02:00
|
|
|
# An awk script to determine the type of a file.
|
|
|
|
/\177ELF\001/ { if (NR == 1) { print "elf32"; exit } }
|
|
|
|
/\177ELF\002/ { if (NR == 1) { print "elf64"; exit } }
|
2015-05-29 10:40:20 +02:00
|
|
|
/\114\001/ { if (NR == 1) { print "pecoff"; exit } }
|
|
|
|
/\144\206/ { if (NR == 1) { print "pecoff"; exit } }
|
2017-07-26 23:43:28 +02:00
|
|
|
/\001\337/ { if (NR == 1) { print "xcoff32"; exit } }
|
|
|
|
/\001\367/ { if (NR == 1) { print "xcoff64"; exit } }
|
2017-07-21 20:05:08 +02:00
|
|
|
|