filetype.awk 159 B

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