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