diff options
Diffstat (limited to 'lang')
3 files changed, 60 insertions, 0 deletions
diff --git a/lang/ruby22/files/patch-lib_rdoc_generator_json_index.rb b/lang/ruby22/files/patch-lib_rdoc_generator_json_index.rb new file mode 100644 index 000000000000..1f0c7400175a --- /dev/null +++ b/lang/ruby22/files/patch-lib_rdoc_generator_json_index.rb @@ -0,0 +1,20 @@ +--- ./lib/rdoc/generator/json_index.rb.orig 2017-11-12 19:41:46.332613000 -0500 ++++ ./lib/rdoc/generator/json_index.rb 2017-11-12 19:41:56.834004000 -0500 +@@ -169,7 +169,7 @@ + debug_msg "Writing gzipped search index to %s" % outfile + + Zlib::GzipWriter.open(outfile) do |gz| +- gz.mtime = File.mtime(search_index_file) ++ gz.mtime = 1 + gz.orig_name = search_index_file.to_s + gz.write search_index + gz.close +@@ -187,7 +187,7 @@ + debug_msg "Writing gzipped file to %s" % outfile + + Zlib::GzipWriter.open(outfile) do |gz| +- gz.mtime = File.mtime(dest) ++ gz.mtime = 1 + gz.orig_name = dest.to_s + gz.write data + gz.close diff --git a/lang/ruby23/files/patch-lib_rdoc_generator_json_index.rb b/lang/ruby23/files/patch-lib_rdoc_generator_json_index.rb new file mode 100644 index 000000000000..59eb143bf185 --- /dev/null +++ b/lang/ruby23/files/patch-lib_rdoc_generator_json_index.rb @@ -0,0 +1,20 @@ +--- ./lib/rdoc/generator/json_index.rb.orig 2017-11-12 19:38:46.598341000 -0500 ++++ ./lib/rdoc/generator/json_index.rb 2017-11-12 19:38:59.759125000 -0500 +@@ -175,7 +175,7 @@ + debug_msg "Writing gzipped search index to %s" % outfile + + Zlib::GzipWriter.open(outfile) do |gz| +- gz.mtime = File.mtime(search_index_file) ++ gz.mtime = 1 + gz.orig_name = search_index_file.basename.to_s + gz.write search_index + gz.close +@@ -193,7 +193,7 @@ + debug_msg "Writing gzipped file to %s" % outfile + + Zlib::GzipWriter.open(outfile) do |gz| +- gz.mtime = File.mtime(dest) ++ gz.mtime = 1 + gz.orig_name = dest.basename.to_s + gz.write data + gz.close diff --git a/lang/ruby24/files/patch-lib_rdoc_generator_json_index.rb b/lang/ruby24/files/patch-lib_rdoc_generator_json_index.rb new file mode 100644 index 000000000000..1211131e7e17 --- /dev/null +++ b/lang/ruby24/files/patch-lib_rdoc_generator_json_index.rb @@ -0,0 +1,20 @@ +--- ./lib/rdoc/generator/json_index.rb.orig 2017-11-12 19:37:25.144883000 -0500 ++++ ./lib/rdoc/generator/json_index.rb 2017-11-12 19:37:44.551836000 -0500 +@@ -175,7 +175,7 @@ + debug_msg "Writing gzipped search index to %s" % outfile + + Zlib::GzipWriter.open(outfile) do |gz| +- gz.mtime = File.mtime(search_index_file) ++ gz.mtime = 1 + gz.orig_name = search_index_file.basename.to_s + gz.write search_index + gz.close +@@ -193,7 +193,7 @@ + debug_msg "Writing gzipped file to %s" % outfile + + Zlib::GzipWriter.open(outfile) do |gz| +- gz.mtime = File.mtime(dest) ++ gz.mtime = 1 + gz.orig_name = dest.basename.to_s + gz.write data + gz.close |