[jflex] 28/33: Removed the timestamps from the generated files

[Markus Koschany]

This is an automated email from the git hooks/post-receive script.

apo pushed a commit to branch master
in repository jflex.

commit b0ffada02f286e7d44b8b7d883ea2d9dcbfd8c0d
Author: Emmanuel Bourg <ebourg at apache.org>
Date:   Tue May 3 12:06:19 2016 +0000

    Removed the timestamps from the generated files
---
 debian/changelog                          |  2 ++
 debian/patches/04_remove_timestamps.patch | 23 +++++++++++++++++++++++
 debian/patches/series                     |  1 +
 3 files changed, 26 insertions(+)

diff --git a/debian/changelog b/debian/changelog
index 1e33172..d973068 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -6,6 +6,8 @@ jflex (1.4.3+dfsg-1.1) UNRELEASED; urgency=medium
   * 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
diff --git a/debian/patches/04_remove_timestamps.patch b/debian/patches/04_remove_timestamps.patch
new file mode 100644
index 0000000..878a2fc
--- /dev/null
+++ b/debian/patches/04_remove_timestamps.patch
@@ -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(" */");
+     }   
diff --git a/debian/patches/series b/debian/patches/series
index 83d08e7..440dbf1 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -3,3 +3,4 @@
 02_example_url_fix.patch
 03_build_xml_target.patch
 03_script_cp_fix.patch
+04_remove_timestamps.patch

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-java/jflex.git