diff options
-rwxr-xr-x | init-repository | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/init-repository b/init-repository index a5773e66..2580b0f6 100755 --- a/init-repository +++ b/init-repository @@ -348,6 +348,8 @@ sub git_clone_all_submodules @what = grep { ($subinits{$_} || 0) eq STS_DEPRECATED } keys %subbases; } elsif ($mod eq "obsolete") { @what = grep { ($subinits{$_} || 0) eq STS_OBSOLETE } keys %subbases; + } elsif ($mod eq "ignore") { + @what = grep { ($subinits{$_} || 0) eq 0 } keys %subbases; } elsif (defined($subdirs{$mod})) { push @what, $mod; } else { |