diff options
Diffstat (limited to 'infrastructure/makeparcels.pl.in')
| -rwxr-xr-x | infrastructure/makeparcels.pl.in | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/infrastructure/makeparcels.pl.in b/infrastructure/makeparcels.pl.in index bd23f795..aa8a9024 100755 --- a/infrastructure/makeparcels.pl.in +++ b/infrastructure/makeparcels.pl.in @@ -243,7 +243,7 @@ docs/htmlguide/man-html/${name}.html: EOF push @parcel_deps, "$dir/docs/${name}.html"; } - elsif ($type eq 'configure') + elsif ($type eq 'subdir') { shift @args; my $subdir = shift @args; @@ -255,7 +255,6 @@ $name-build: $name-clean: cd $name; \$(MAKE) clean - EOF push @parcel_deps, "$name-build"; push @clean_deps, "$name-clean"; |