- Use the first configure command given in a diff, even if

  it has no args.
- Output the build commands being run.

diff --git a/verify-patches b/verify-patches
index 8a83cea..59f4ff5 100755 (executable)
--- a/verify-patches
+++ b/verify-patches
@@ -83,8 +83,8 @@ foreach my $diff (@ARGV) {
            }
            sleep(1) if $prepare_source; # Ensure later diffs get later times.
        }
-       if (!defined($conf_opts) && m#^\s*\./configure( .+)#) {
-           $conf_opts = $1;
+       if (!defined($conf_opts) && s#^\s+\./configure\s+##) {
+           chomp($conf_opts = $_);
            $conf_opts =~ s/\s+\(.*?\)//;
        }
     }
@@ -142,7 +142,9 @@ foreach my $diff (@ARGV) {
            }
            if ($cmd eq 'B') {
                chdir('workdir') or die $!;
-               system "./prepare-source && ./configure $CONF_OPTS $conf_opts && make";
+               my $cmd = "./prepare-source && ./configure $CONF_OPTS $conf_opts && make";
+               print "Running: $cmd\n";
+               system $cmd;
                chdir('..') or die $!;
                $default = '!make test';
                next;