diff options
Diffstat (limited to 'tool/insns2vm.rb')
| -rwxr-xr-x | tool/insns2vm.rb | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tool/insns2vm.rb b/tool/insns2vm.rb index f518707f11..ecbbb52643 100755 --- a/tool/insns2vm.rb +++ b/tool/insns2vm.rb @@ -1,5 +1,8 @@ #!ruby +# This is used by Makefile.in to generate .inc files. +# See Makefile.in for details. + require 'optparse' Version = %w$Revision: 11626 $[1..-1] |