diff options
Diffstat (limited to 'infrastructure/makeparcels.pl')
| -rwxr-xr-x | infrastructure/makeparcels.pl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/infrastructure/makeparcels.pl b/infrastructure/makeparcels.pl index 29694326..1c0b0ead 100755 --- a/infrastructure/makeparcels.pl +++ b/infrastructure/makeparcels.pl @@ -65,6 +65,8 @@ print MAKE <<__E; # # +MAKE = $make_command + __E print MAKE "all:\t",join(' ',map {parcel_target($_)} @parcels),"\n\n"; |