[patch] Call -gen-record-profile-args for SID

[Dave Brolley]

Hi,

I've committed the attached patch which enables the calling of 
--gen-record-profile-args for SID and updates it to test the correct 
options.

Dave
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: sid-model.ChangeLog
URL: <http://sourceware.org/pipermail/cgen/attachments/20031026/750e96cd/attachment.ksh>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: sid-model.patch.txt
URL: <http://sourceware.org/pipermail/cgen/attachments/20031026/750e96cd/attachment.txt>