| 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)
|
|
|