[gambit-list] Re: running remote jobs with `time'
Marc Feeley
feeley at IRO.UMontreal.CA
Mon Feb 21 07:28:28 EST 2005
> Now the node "Runtime options" says I can change the interaction channel:
>
> Both `gsi' and `gsc' as well as executable programs compiled and
> linked using `gsc' take a `-:' option which supplies parameters to
> the runtime system.
>
> `-'
> The REPL interaction channel will be standard input and standard
> output.
The correct option is
gsi -:d-
The Gambit manual says
The @samp{d} option sets various debugging options. The letter
@samp{d} is followed by a sequence of letters indicating suboptions.
I'll use better wording in the manual.
Marc
More information about the Gambit-list
mailing list