Change to random call so it will work on linux
authorbdemsky <bdemsky>
Thu, 14 Dec 2006 18:07:46 +0000 (18:07 +0000)
committerbdemsky <bdemsky>
Thu, 14 Dec 2006 18:07:46 +0000 (18:07 +0000)
commit5d6fb3a488b8e8000e4794d9d77e3f684b7c05b3
treeb36ef93f2e1cb7c91e04770513c645af6afef87e
parent299e7c3aaee86b30d4fed62ee40dcf34e7be1642
Change to random call so it will work on linux
Robust/src/Runtime/option.c