Changes between Version 17 and Version 18 of Building/RunningNoFib


Ignore:
Timestamp:
Nov 26, 2012 3:50:50 PM (3 years ago)
Author:
danielv
Comment:

Fixed piping commands

Legend:

Unmodified
Added
Removed
Modified
  • Building/RunningNoFib

    v17 v18  
    5353{{{ 
    5454cd nofib 
    55 make clean && make boot && make -k >& log1 
    56 make clean && make boot && make -k EXTRA_HC_OPTS=-fenable-cool-optimisation >& log2 
     55make clean && make boot && make -k 2>&1 | tee log1 
     56make clean && make boot && make -k EXTRA_HC_OPTS=-fenable-cool-optimisation 2>&1 | tee log2 
    5757nofib-analyse/nofib-analyse log1 log2 
    5858}}}