Index: scripts/fork.patch |
=================================================================== |
--- scripts/fork.patch (revision 49170) |
+++ scripts/fork.patch (working copy) |
@@ -14,6 +14,11 @@ |
} |
// Set up the child's environment. |
+@@ -4103,4 +4108,3 @@ |
+ /*--------------------------------------------------------------------*/ |
+ /*--- end ---*/ |
+ /*--------------------------------------------------------------------*/ |
+- |
Index: coregrind/pub_core_libcfile.h |
=================================================================== |
--- coregrind/pub_core_libcfile.h (revision 10880) |