blob: 73c218b2beead24146e29c306ffe2c1071db6de8 [file] [log] [blame]
print "# objdump: -d\n";
print "# name: ia64 $ARGV[0]\n";
shift;
while (<>) {
if (/.*file format.*/) {
$_ = ".*: +file format .*\n";
} else {
s/([][().])/\\$1/g;
}
print;
}