your mail

Matthew Fluet mfluet@intertrust.com
Sun, 29 Jul 2001 03:44:27 -0700 (PDT)


Looks good.  One last piece is missing.  We want to invoke the brain as
/path/doit @MLton fixed-heap 220m -- dir time file

Now, I can't pass to tick "/path/doit @MLton fixed-heap 200m --" to tick,
because that's not an executable command.  I guess we really want to pass
to tick a string of brain options that needs to be exploded at " "'s and
appended to the fron of brain's other arguments.  Or am I missing some
shell trick?