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 <[email protected]> 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 <[email protected]> +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 _______________________________________________ pkg-java-commits mailing list [email protected] http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-java-commits
