diff options
author | Nicolás Reynolds <fauno@endefensadelsl.org> | 2014-01-28 03:27:16 +0000 |
---|---|---|
committer | Nicolás Reynolds <fauno@endefensadelsl.org> | 2014-01-28 03:27:16 +0000 |
commit | 462391357aa5e749dc9908c15f3baa0b4416f3d8 (patch) | |
tree | 11d4d3f054aae9ffd869adc634054f64a16d83b8 /java/antlr2/gcc4.4.patch | |
parent | 748e32a3a886569b58a27003e85b76be5746153d (diff) |
Tue Jan 28 03:22:21 UTC 2014
Diffstat (limited to 'java/antlr2/gcc4.4.patch')
-rw-r--r-- | java/antlr2/gcc4.4.patch | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/java/antlr2/gcc4.4.patch b/java/antlr2/gcc4.4.patch deleted file mode 100644 index 15e25fb00..000000000 --- a/java/antlr2/gcc4.4.patch +++ /dev/null @@ -1,12 +0,0 @@ -diff -Nur antlr-2.7.7.orig/lib/cpp/antlr/CharScanner.hpp antlr-2.7.7/lib/cpp/antlr/CharScanner.hpp ---- antlr-2.7.7.orig/lib/cpp/antlr/CharScanner.hpp -+++ antlr-2.7.7/lib/cpp/antlr/CharScanner.hpp -@@ -10,6 +10,8 @@ - - #include <antlr/config.hpp> - -+#include <cstdio> -+#include <cstring> - #include <map> - - #ifdef HAS_NOT_CCTYPE_H |