ts-xen-build: Support passing arguments to configure

No functional change with existing callers.

Signed-off-by: Ian Jackson <Ian.Jackson@eu.citrix.com>

diff --git a/ts-xen-build b/ts-xen-build
index 7cdd36587997bdda17c60b70b9406e3b3e16ec87..4f1f71a6b583383871c50d0e313f700949066624 100755 (executable)
--- a/ts-xen-build
+++ b/ts-xen-build
@@ -37,7 +37,15 @@ while (@ARGV && $ARGV[0] =~ m/^-/) {
        die "$_ ?";
     }
 }
+
+my ($dashdashdash) = grep { $ARGV[$_] eq '---' } 0..$#ARGV;
+my (@configure_args, @make_args);
+$dashdashdash //= -1;
+@configure_args = @ARGV[0..$dashdashdash-1];
+@make_args      = @ARGV[$dashdashdash+1..$#ARGV];
+
 # remaining arguments are passed as targets to "make"
+# if there is a ---, those before that are arguments to "configure"
 
 builddirsprops();
 
@@ -132,7 +140,7 @@ sub build () {
                     ovmf=$ovmf_opt
                 fi
 END
-               $configure_prefix ./configure --sysconfdir=/etc \$xend \$ovmf $configure_suffix
+               $configure_prefix ./configure --sysconfdir=/etc \$xend \$ovmf $configure_suffix @configure_args
 END
             fi
 END
@@ -145,7 +153,7 @@ END
 END
 
     buildcmd_stamped_logged(9000, 'xen', 'build', '',<<END,'');
-            $make_prefix make $makeflags @ARGV
+            $make_prefix make $makeflags @make_args
 END
 
     if ($enable_xsm) {