From 8b5156d18855f536cf5ceac10f5781e19fa8f1ea Mon Sep 17 00:00:00 2001 From: Richard Levitte Date: Mon, 29 Aug 2016 21:45:19 +0200 Subject: [PATCH] Make it possible for the user to specify a different default build file Make sure the information is kept for reconfiguration too. Reviewed-by: Rich Salz --- Configure | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/Configure b/Configure index 3604ba4f73..a0bf5de8bb 100755 --- a/Configure +++ b/Configure @@ -502,11 +502,14 @@ if (grep /^reconf(igure)?$/, @argvcopy) { if defined($configdata::config{cross_compile_prefix}); $ENV{CC} = $configdata::config{cc} if defined($configdata::config{cc}); + $ENV{BUILDFILE} = $configdata::config{build_file} + if defined($configdata::config{build_file}); print "Reconfiguring with: ", join(" ",@argvcopy), "\n"; print " CROSS_COMPILE = ",$ENV{CROSS_COMPILE},"\n" if $ENV{CROSS_COMPILE}; print " CC = ",$ENV{CC},"\n" if $ENV{CC}; + print " BUILDFILE = ",$ENV{BUILDFILE},"\n" if $ENV{BUILDFILE}; } elsif (open IN, "