diff options
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/buildzip.pl | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tools/buildzip.pl b/tools/buildzip.pl index ea902ddb9a..6b90dfa4a6 100755 --- a/tools/buildzip.pl +++ b/tools/buildzip.pl | |||
@@ -326,6 +326,11 @@ STOP | |||
326 | if ($line =~ /([^,]*),(.*)/) { | 326 | if ($line =~ /([^,]*),(.*)/) { |
327 | my ($plugin, $dir)=($1, $2); | 327 | my ($plugin, $dir)=($1, $2); |
328 | move("$rbdir/rocks/${plugin}.rock", "$rbdir/rocks/$dir/${plugin}.rock"); | 328 | move("$rbdir/rocks/${plugin}.rock", "$rbdir/rocks/$dir/${plugin}.rock"); |
329 | if(-e "$rbdir/rocks/${plugin}.ovl") { | ||
330 | # if there's an "overlay" file for the .rock, move that as | ||
331 | # well | ||
332 | move("$rbdir/rocks/${plugin}.ovl", "$rbdir/rocks/$dir"); | ||
333 | } | ||
329 | } | 334 | } |
330 | } | 335 | } |
331 | 336 | ||