diff options
| author | Peter Eisentraut | 2011-04-19 19:01:15 +0000 |
|---|---|---|
| committer | Peter Eisentraut | 2011-04-19 19:01:15 +0000 |
| commit | 2e8d9544752a7d68cb46f028a4f16ab0eb76c26e (patch) | |
| tree | d7481b282802d74a309af8da60d8c7e24b199c2d | |
| parent | 908eb1f98bd9f81613cf4c14d6ab5877815c7b50 (diff) | |
Treat config.pl as optional in vcregress.pl
This is how build.pl treats it and how it's documented.
| -rw-r--r-- | src/tools/msvc/vcregress.pl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/tools/msvc/vcregress.pl b/src/tools/msvc/vcregress.pl index ac7e6aac2a..8a100bf2ea 100644 --- a/src/tools/msvc/vcregress.pl +++ b/src/tools/msvc/vcregress.pl @@ -13,7 +13,8 @@ my $startdir = getcwd(); chdir "../../.." if (-d "../../../src/tools/msvc"); -require 'src/tools/msvc/config.pl'; +require 'src/tools/msvc/config_default.pl'; +require 'src/tools/msvc/config.pl' if (-f 'src/tools/msvc/config.pl'); # buildenv.pl is for specifying the build environment settings # it should contian lines like: |