ragel: edit patch to work with other versions of patch(1)

Signed-off-by: Rafaël Carré <funman@videolan.org>

diff --git a/extras/tools/ragel-6.8-javacodegen.patch b/extras/tools/ragel-6.8-javacodegen.patch
index ff558b9cfb0cb1d64944a1cd1e1cd922d32cb4ae..53e915ed90f0b0ae0dfd133f47c46001b7b85a37 100644 (file)
--- a/extras/tools/ragel-6.8-javacodegen.patch
+++ b/extras/tools/ragel-6.8-javacodegen.patch
@@ -1,6 +1,6 @@
 diff -urN ragel-6.8.orig/ragel/javacodegen.cpp ragel-6.8/ragel/javacodegen.cpp
 --- ragel-6.8.orig/ragel/javacodegen.cpp       2013-02-11 05:57:45.000000000 +0400
-+++ ragel-6.8/ragel/javacodegen.cpp    2013-09-01 14:42:27.000000000 +0400
++++ ragel-6.8/ragel/javacodegen.cpp.new        2013-09-01 14:42:27.000000000 +0400
 @@ -50,6 +50,7 @@
  using std::ifstream;
  using std::ostream;