diff options
Diffstat (limited to 'infrastructure')
-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 41dab287..4cdd2fea 100755 --- a/infrastructure/makeparcels.pl.in +++ b/infrastructure/makeparcels.pl.in @@ -244,11 +244,12 @@ EOF } elsif ($type eq 'subdir') { + shift @args; print MAKE <<EOF; .PHONY: $name-build $name-clean $name-build: - \$(MAKE) -C $name + \$(MAKE) -C @args $name-clean: \$(MAKE) -C $name clean |