summaryrefslogtreecommitdiff
path: root/make_ext.pl
diff options
context:
space:
mode:
Diffstat (limited to 'make_ext.pl')
-rw-r--r--make_ext.pl14
1 files changed, 10 insertions, 4 deletions
diff --git a/make_ext.pl b/make_ext.pl
index cf1e826a86..399bd41713 100644
--- a/make_ext.pl
+++ b/make_ext.pl
@@ -370,11 +370,17 @@ WriteMakefile(
# ex: set ro:
EOM
close $fh or die "Can't close Makefile.PL: $!";
+ # As described in commit 23525070d6c0e51f:
+ # Push the atime and mtime of generated Makefile.PLs back 4
+ # seconds. In certain circumstances ( on virtual machines ) the
+ # generated Makefile.PL can produce a Makefile that is older than
+ # the Makefile.PL. Altering the atime and mtime backwards by 4
+ # seconds seems to resolve the issue.
+ eval {
+ my $ftime = time - 4;
+ utime $ftime, $ftime, 'Makefile.PL';
+ };
}
- eval {
- my $ftime = time - 4;
- utime $ftime, $ftime, 'Makefile.PL';
- };
print "\nRunning Makefile.PL in $ext_dir\n";
# Presumably this can be simplified