diff options
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/genlang | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/tools/genlang b/tools/genlang index 99b28b81fe..9da03479bd 100755 --- a/tools/genlang +++ b/tools/genlang | |||
@@ -7,7 +7,7 @@ | |||
7 | # \/ \/ \/ \/ \/ | 7 | # \/ \/ \/ \/ \/ |
8 | # $Id$ | 8 | # $Id$ |
9 | # | 9 | # |
10 | # Copyright (C) 2006 - 2007 by Daniel Stenberg | 10 | # Copyright (C) 2006 - 2008 by Daniel Stenberg |
11 | # | 11 | # |
12 | 12 | ||
13 | # binary version for the binary lang file | 13 | # binary version for the binary lang file |
@@ -412,15 +412,15 @@ while(<LANG>) { | |||
412 | # basic syntax error alerts, if there are no quotes we | 412 | # basic syntax error alerts, if there are no quotes we |
413 | # will assume an empty string was intended | 413 | # will assume an empty string was intended |
414 | if($dest !~ /^\"/) { | 414 | if($dest !~ /^\"/) { |
415 | print STDERR "Warning: dest before $input line $line lacks quotes ($dest)!\n"; | 415 | print STDERR "$input:$line:1: warning: dest before line lacks quotes ($dest)!\n"; |
416 | $dest='""'; | 416 | $dest='""'; |
417 | } | 417 | } |
418 | if($src !~ /^\"/) { | 418 | if($src !~ /^\"/) { |
419 | print STDERR "Warning: source before $input line $line lacks quotes ($src)!\n"; | 419 | print STDERR "$input:$line:1: warning: source before line lacks quotes ($src)!\n"; |
420 | $src='""'; | 420 | $src='""'; |
421 | } | 421 | } |
422 | if($voice !~ /^\"/ and $voice !~ /^none\z/i) { | 422 | if($voice !~ /^\"/ and $voice !~ /^none\z/i) { |
423 | print STDERR "Warning: voice before $input line $line lacks quotes ($voice)!\n"; | 423 | print STDERR "$input:$line:1: warning: voice before line lacks quotes ($voice)!\n"; |
424 | $voice='""'; | 424 | $voice='""'; |
425 | } | 425 | } |
426 | 426 | ||