320d0ca - valgrind already follows children which don't exec(), which is what we

Authored and Committed by nalin 12 years ago
    - valgrind already follows children which don't exec(), which is what we
      care about
    - give children more time to start, in case we're tracing
    
        
file modified
+2 -2