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