The vm shell was modified so the 1st line says: You must provide input files ... resulted in vm version being 'file.' (the last token on the line) The fix is check for a line matching "build" to parse the build number.
Created attachment 375871 [details] [diff] [review] patch attached patch. Chris please push into tamarin-redux after reviewing. thanks.
Attachment #375871 - Flags: review?(cpeyer)
r+, pushed with r1844:2343e8674295 with slight modifications
Status: NEW → RESOLVED
Last Resolved: 10 years ago
Resolution: --- → FIXED
Resolved fixed engineering / work item that has been pushed. Setting status to verified.
Status: RESOLVED → VERIFIED
You need to log in before you can comment on or make changes to this bug.