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


Ignore:
Timestamp:
Dec 21, 2006 6:17:45 AM (7 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.