[pkg-java] r19049 - in trunk/jflex/debian: . patches

[Emmanuel Bourg]

Author: ebourg-guest
Date: 2016-05-03 12:06:19 +0000 (Tue, 03 May 2016)
New Revision: 19049

Added:
   trunk/jflex/debian/patches/04_remove_timestamps.patch
Modified:
   trunk/jflex/debian/changelog
   trunk/jflex/debian/patches/series
Log:
Removed the timestamps from the generated files



Modified: trunk/jflex/debian/changelog
===================================================================
--- trunk/jflex/debian/changelog	2016-05-03 11:54:36 UTC (rev 19048)
+++ trunk/jflex/debian/changelog	2016-05-03 12:06:19 UTC (rev 19049)
@@ -6,6 +6,8 @@
   * Remove myself from the uploaders
 
   [ Emmanuel Bourg ]
+  * Removed the timestamps from the generated files to improve
+    the reproducibility of the reverse dependencies
   * Standards-Version updated to 3.9.8 (no changes)
 
  -- Sylvestre Ledru <sylvestre at debian.org>  Sun, 06 Mar 2016 09:39:09 +0100

Added: trunk/jflex/debian/patches/04_remove_timestamps.patch
===================================================================
--- trunk/jflex/debian/patches/04_remove_timestamps.patch	                        (rev 0)
+++ trunk/jflex/debian/patches/04_remove_timestamps.patch	2016-05-03 12:06:19 UTC (rev 19049)
@@ -0,0 +1,23 @@
+Description: Removes the timestamps from the files generated by JFlex
+Author: Emmanuel Bourg <ebourg at apache.org>
+Forwarded: no
+--- a/src/JFlex/Emitter.java
++++ b/src/JFlex/Emitter.java
+@@ -389,7 +389,7 @@
+   }
+ 
+   private void emitHeader() {
+-    println("/* The following code was generated by JFlex "+Main.version+" on "+date+" */");   
++    println("/* The following code was generated by JFlex "+Main.version+" */");
+     println(""); 
+   } 
+ 
+@@ -409,7 +409,7 @@
+       println("/**");
+       println(" * This class is a scanner generated by ");
+       println(" * <a href=\"http://www.jflex.de/\">JFlex</a> "+Main.version);
+-      println(" * on "+date+" from the specification file");    
++      println(" * from the specification file");
+       println(" * <tt>"+path+"</tt>");      
+       println(" */");
+     }   

Modified: trunk/jflex/debian/patches/series
===================================================================
--- trunk/jflex/debian/patches/series	2016-05-03 11:54:36 UTC (rev 19048)
+++ trunk/jflex/debian/patches/series	2016-05-03 12:06:19 UTC (rev 19049)
@@ -3,3 +3,4 @@
 02_example_url_fix.patch
 03_build_xml_target.patch
 03_script_cp_fix.patch
+04_remove_timestamps.patch