aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xmakerelease21
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");
}