Changes between Version 24 and Version 25 of Commentary/Compiler/StrictnessAnalysis/KirstenNotes


Ignore:
Timestamp:
Dec 21, 2006 6:17:45 AM (9 years ago)
Author:
kirsten
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/StrictnessAnalysis/KirstenNotes

    v24 v25  
    108108
    109109I've had weird problems with the {{{time}}} and {{{sed}}} commands under MSYS but I think it's just when running nofib. At some point I wrote down:
     110
    110111TIME needs to be {{{time}}} not {{{/bin/time}}}
     112
    111113and
     114
    112115MSYS {{{sed}}} does not work, use cygwin {{{sed}}}
     116
    113117but of *course* I no longer remember what I meant.