diff options
Diffstat (limited to 'tools/addtargetdir.pl')
-rwxr-xr-x | tools/addtargetdir.pl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/addtargetdir.pl b/tools/addtargetdir.pl index 6a9a72a878..2868e9027b 100755 --- a/tools/addtargetdir.pl +++ b/tools/addtargetdir.pl | |||
@@ -23,6 +23,7 @@ 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" | ||
26 | # Save target and continue if this item ends in ':' | 27 | # Save target and continue if this item ends in ':' |
27 | if (!($2 && ($target=$&))) { | 28 | if (!($2 && ($target=$&))) { |
28 | $src = $&; | 29 | $src = $&; |