diff options
Diffstat (limited to 'make')
| -rw-r--r-- | make/configure.pm | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/make/configure.pm b/make/configure.pm index db9c42eb9..ee96e3c69 100644 --- a/make/configure.pm +++ b/make/configure.pm @@ -220,7 +220,7 @@ sub read_configure_cache { open(CACHE, CONFIGURE_CACHE_FILE) or return %config; while (my $line = <CACHE>) { next if $line =~ /^\s*($|\#)/; - my ($key, $value) = ($line =~ /^(\S+)="(.*)"$/); + my ($key, $value) = ($line =~ /^(\S+)(?:\s(.+))?$/); $config{$key} = $value; } close(CACHE); @@ -238,7 +238,7 @@ sub write_configure_cache(%) { open(CACHE, '>', CONFIGURE_CACHE_FILE) or print_error "unable to write ${\CONFIGURE_CACHE_FILE}: $!"; while (my ($key, $value) = each %config) { $value //= ''; - say CACHE "$key=\"$value\""; + say CACHE "$key $value"; } close(CACHE); } |