1 files changed, 2 insertions, 1 deletions
diff --git a/insns.pl b/insns.pl
index def84bd7..9dc4dd45 100644
--- a/insns.pl
+++ b/insns.pl
@@ -9,7 +9,8 @@
 
 print STDERR "Reading insns.dat...\n";
 
-open (F, "insns.dat") || die "unable to open insns.dat";
+$fname = "insns.dat" unless $fname = $ARGV[0];
+open (F, $fname) || die "unable to open $fname";
 
 $line = 0;
 $opcodes = 0;