diff options
Diffstat (limited to 'tool/make-snapshot')
| -rwxr-xr-x | tool/make-snapshot | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tool/make-snapshot b/tool/make-snapshot index d628004dea..4684dab234 100755 --- a/tool/make-snapshot +++ b/tool/make-snapshot @@ -93,6 +93,9 @@ class Dir end $packages &&= $packages.split(/[, ]+/).tap {|pkg| + if all = pkg.index("all") + pkg[all, 1] = PACKAGES.keys - pkg + end pkg -= PACKAGES.keys pkg.empty? or abort "#{File.basename $0}: unknown packages - #{pkg.join(", ")}" } |