discard current pid
authorthierry <thierry@41d37cc5-eb28-0410-a9bf-d37491348ade>
Wed, 11 Jun 2008 06:41:37 +0000 (06:41 +0000)
committerthierry <thierry@41d37cc5-eb28-0410-a9bf-d37491348ade>
Wed, 11 Jun 2008 06:41:37 +0000 (06:41 +0000)
commitf3a7e1b6ee2410a0036b391bc5e2c0ef4fc61213
tree1609d003485667fb835112b0e722cc4be11df751
parent421f613c653525a2ff9f8aa4eb18ff7003fa59cb
discard current pid
scripts/all-modules.sh