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?