diff options
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/addtargetdir.pl | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tools/addtargetdir.pl b/tools/addtargetdir.pl index 2868e9027b..6a9a72a878 100755 --- a/tools/addtargetdir.pl +++ b/tools/addtargetdir.pl | |||
@@ -23,7 +23,6 @@ my $src; | |||
23 | # Split the input file on any runs of '\' and whitespace. | 23 | # Split the input file on any runs of '\' and whitespace. |
24 | for (split(/[\s\\]+/m, <STDIN>)) { | 24 | for (split(/[\s\\]+/m, <STDIN>)) { |
25 | /^(\/)?[^:]+(\:)?$/; | 25 | /^(\/)?[^:]+(\:)?$/; |
26 | print ">>$& $src" | ||
27 | # Save target and continue if this item ends in ':' | 26 | # Save target and continue if this item ends in ':' |
28 | if (!($2 && ($target=$&))) { | 27 | if (!($2 && ($target=$&))) { |
29 | $src = $&; | 28 | $src = $&; |