diff options
author | Ben Summers <ben@fluffy.co.uk> | 2006-01-30 19:50:00 +0000 |
---|---|---|
committer | Ben Summers <ben@fluffy.co.uk> | 2006-01-30 19:50:00 +0000 |
commit | 9fff72211207eda582e10f6bf5294bfa61cc40ed (patch) | |
tree | 2ec41596d49a52b4afd59f817062d9426536d824 /infrastructure/makedistribution.pl | |
parent | 44bd637838f29f2c6860c52c34887aaddb1e8603 (diff) |
Run bootstrap when making distribution, preparations for 0.10 release candidate
Diffstat (limited to 'infrastructure/makedistribution.pl')
-rwxr-xr-x | infrastructure/makedistribution.pl | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/infrastructure/makedistribution.pl b/infrastructure/makedistribution.pl index 669f5de6..823aba38 100755 --- a/infrastructure/makedistribution.pl +++ b/infrastructure/makedistribution.pl @@ -82,6 +82,15 @@ sub copy_from_list { $no_license{$dst} = 1; } + elsif($src eq 'RUN') + { + print "Running $dst...\n"; + if(system($dst) != 0) + { + print "Error running $dst. Aborting.\n"; + exit(1); + } + } elsif(-d $src) { $modules_included{$_} = 1; |