diff options
-rwxr-xr-x | makerelease | 21 |
1 files changed, 15 insertions, 6 deletions
diff --git a/makerelease b/makerelease index bef7ae2f..f96f7bcf 100755 --- a/makerelease +++ b/makerelease @@ -7,6 +7,8 @@ $timezone = "-0500"; $diffs = 0; +$verbose = 0; +$null = ">/dev/null"; while ($i = shift @ARGV) { if ($i =~ /^(--diffs|-d)$/i) @@ -15,6 +17,13 @@ while ($i = shift @ARGV) next; } + if ($i =~ /^(--verbose|-v)$/i) + { + $verbose = 1; + $null = ""; + next; + } + die "Error: Unknown option: $i\n"; } @@ -48,18 +57,18 @@ if ($versions[0] eq $rcsid) { print "Building $version release, RCS ID $rcsid, previous RCS ID $oldid\n"; -print "Test-building the software...\n"; -if (system("su -c 'make >/dev/null' esr")) { +print "### Test-building the software...\n"; +if (system("su -c '(configure --disable-nls; make) $null' esr")) { die("Compilation failure\n"); } -print "Building the distribution...\n"; -if (system("su -c 'make dist >/dev/null' esr")) { +print "### Building the distribution...\n"; +if (system("su -c 'make dist $null' esr")) { die("Distribution-build failure\n"); } -print "Building the RPMs...\n"; -if (system("make rpm >/dev/null 2>/dev/null && chown esr *.rpm")) { +print "### Building the RPMs...\n"; +if (system("make rpm $null && chown esr *.rpm")) { die("RPM-build failure\n"); } |