diff options
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/binlang | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/tools/binlang b/tools/binlang index 3a0152dced..ed158e7f2a 100755 --- a/tools/binlang +++ b/tools/binlang | |||
@@ -1,4 +1,4 @@ | |||
1 | #!/usr/bin/perl | 1 | #!/usr/bin/env perl |
2 | ############################################################################ | 2 | ############################################################################ |
3 | # __________ __ ___. | 3 | # __________ __ ___. |
4 | # Open \______ \ ____ ____ | | _\_ |__ _______ ___ | 4 | # Open \______ \ ____ ____ | | _\_ |__ _______ ___ |
@@ -68,7 +68,6 @@ while(<ENG>) { | |||
68 | } | 68 | } |
69 | close(ENG); | 69 | close(ENG); |
70 | 70 | ||
71 | |||
72 | while(<LANG>) { | 71 | while(<LANG>) { |
73 | if($_ =~ / *\#/) { | 72 | if($_ =~ / *\#/) { |
74 | # comment | 73 | # comment |
@@ -93,6 +92,7 @@ while(<LANG>) { | |||
93 | $value =~ s/^\"(.*)\"/$1/g; | 92 | $value =~ s/^\"(.*)\"/$1/g; |
94 | 93 | ||
95 | $idnum = $idnum{$set{'id'}}; | 94 | $idnum = $idnum{$set{'id'}}; |
95 | $idnum{$set{'id'}} = '_done_'; | ||
96 | 96 | ||
97 | printf OFILE ("%c%c%s\x00", | 97 | printf OFILE ("%c%c%s\x00", |
98 | ($idnum>>8), ($idnum&0xff), | 98 | ($idnum>>8), ($idnum&0xff), |
@@ -107,3 +107,11 @@ while(<LANG>) { | |||
107 | close(LANG); | 107 | close(LANG); |
108 | 108 | ||
109 | close(OFILE); | 109 | close(OFILE); |
110 | |||
111 | foreach $k (keys(%idnum)) | ||
112 | { | ||
113 | if($idnum{$k} ne '_done_') | ||
114 | { | ||
115 | warn "Missing ID in $input: $k\n"; | ||
116 | } | ||
117 | } | ||