From 1798c4aeca70ac8d0a243684d6a798fbc65735f8 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Sat, 14 Jul 2018 20:57:42 +0100 Subject: gentoo resync : 14.07.2018 --- dev-java/qdox/files/jflex-1.6.1.patch | 27 --------------------------- 1 file changed, 27 deletions(-) delete mode 100644 dev-java/qdox/files/jflex-1.6.1.patch (limited to 'dev-java/qdox/files') diff --git a/dev-java/qdox/files/jflex-1.6.1.patch b/dev-java/qdox/files/jflex-1.6.1.patch deleted file mode 100644 index 4e506246f2a2..000000000000 --- a/dev-java/qdox/files/jflex-1.6.1.patch +++ /dev/null @@ -1,27 +0,0 @@ -https://github.com/jflex-de/jflex/commit/f312d563777d907bbb12d1e2ac79835ba83ca53c - ---- a/src/grammar/skeleton.inner 2012-11-04 16:16:30.000000000 +0000 -+++ b/src/grammar/skeleton.inner 2015-11-02 20:57:37.566057363 +0000 -@@ -407,15 +407,15 @@ - zzMarkedPos = zzMarkedPosL; - --- char count update - ----- actions -- default: -- if (zzInput == YYEOF && zzStartRead == zzCurrentPos) { -- zzAtEOF = true; -+ if (zzInput == YYEOF && zzStartRead == zzCurrentPos) { -+ zzAtEOF = true; - --- eofvalue -- } -- else { -+ } -+ else { -+--- actions -+ default: - --- no match -- } -+ } - } - } - } -- cgit v1.2.3