diff --git a/win32/GNUmakefile b/win32/GNUmakefile index ff60a89c639b..e6ab684599d5 100644 --- a/win32/GNUmakefile +++ b/win32/GNUmakefile @@ -1111,7 +1111,8 @@ CFG_VARS = \ "LINK_FLAGS=$(subst ",\",$(LINK_FLAGS))"\ "optimize=$(subst ",\",$(OPTIMIZE))" \ "ARCHPREFIX=$(ARCHPREFIX)" \ - "WIN64=$(WIN64)" + "WIN64=$(WIN64)" \ + "SKIP_CCHOME_CHECK=$(SKIP_CCHOME_CHECK)" # # Top targets diff --git a/win32/Makefile b/win32/Makefile index eee9362a549b..147786ab76e8 100644 --- a/win32/Makefile +++ b/win32/Makefile @@ -834,7 +834,8 @@ CFG_VARS = \ "default_inc_excludes_dot=$(DEFAULT_INC_EXCLUDES_DOT)" \ "LINK_FLAGS=$(LINK_FLAGS:"=\")" \ "optimize=$(OPTIMIZE:"=\")" \ - "WIN64=$(WIN64)" + "WIN64=$(WIN64)" \ + "SKIP_CCHOME_CHECK=$(SKIP_CCHOME_CHECK)" # # Top targets diff --git a/win32/config_sh.PL b/win32/config_sh.PL index f1d746e15890..4c6275dfc042 100644 --- a/win32/config_sh.PL +++ b/win32/config_sh.PL @@ -11,7 +11,32 @@ sub mungepath { $p =~ s/[ ;]+$//; $p =~ s/'/"/g; my @p = map { $_ = "\"$_\"" if /\s/ and !/^".*"$/; $_ } split /;/, $p; - return join(' ', @p); + return wantarray ? @p : join(' ', @p); +} + +# check that the directories in the provided var exist +sub check_path { + my $opt = shift; + my $p = shift; + my @paths = mungepath($p); + my $header_seen = 0; + foreach my $path (@paths) { + $path =~ s/^"(.*)"$/$1/; + next, if -d $path; + + if (not $header_seen++) { + print STDERR "'$opt' contains the following non-existing paths:\n"; + } + print STDERR "\t$path\n"; + } + if ($header_seen) { + print STDERR <