The Collaborative International Dictionary of English v.0.48:

Prickpunch \Prick"punch`\, n.
   A pointed steel punch, to prick a mark on metal.
   [1913 Webster]