>>>>> "Anthony" == Anthony Green <green@redhat.com> writes: Anthony> Hmm... this doesn't appear to be documented, while gcj does Anthony> have a documented -R option... I submitted a high priority PR for this. I can fix it unless somebody gets there first. Any suggestions for what we should name the option? Tom