diff options
| -rwxr-xr-x | Tools/portbuild/scripts/ptimeout | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Tools/portbuild/scripts/ptimeout b/Tools/portbuild/scripts/ptimeout index 62cb404ad001..d4f3a19f24b2 100755 --- a/Tools/portbuild/scripts/ptimeout +++ b/Tools/portbuild/scripts/ptimeout @@ -36,6 +36,6 @@ if ($pid1 = fork) { } else { # first child - print "executing @ARGV\n"; + #print "executing @ARGV\n"; exec @ARGV; } |