Fix time output in `seed/update`

a32f7985296e88ac4318acfc45c4e1de873b5790a14ea253fe57d74fbf62ffb7
Alexis Sellier committed ago 1 parent 24bcf96e
seed/update +2 -2
57 57 
# Compile one self-hosted stage.
58 58 
#   stage <input> <output>
59 59 
# ---------------------------------------------------------------------------
60 60 

    

  
    

      61
      61
       
      
stage() {

    

  
    

      62
      
      -
      
  time $EMU "$1" $OPTS -o "$2"

    

  
    

      
      62
      +
      
  time -p $EMU "$1" $OPTS -o "$2"

    

  
    

      63
      63
       
      
}

    

  
    

      64
      64
       
      

    

  
    

      65
      65
       
      
# ---------------------------------------------------------------------------

    

  
    

      66
      66
       
      
# Compile one stage using a native (s0) binary.

    

  
    

      67
      67
       
      
#   stageS0 <input> <output>

    

  
    

      68
      68
       
      
# ---------------------------------------------------------------------------

    

  
    

      69
      69
       
      

    

  
    

      70
      70
       
      
stageS0() {

    

  
    

      71
      
      -
      
  time "$1" compiler/radiance.rad $OPTS -o "$2"

    

  
    

      
      71
      +
      
  time -p "$1" compiler/radiance.rad $OPTS -o "$2"

    

  
    

      72
      72
       
      
}

    

  
    

      73
      73
       
      

    

  
    

      74
      74
       
      
# ---------------------------------------------------------------------------

    

  
    

      75
      75
       
      
# Compare two stage binaries. Returns 0 if identical, 1 if they differ.

    

  
    

      76
      76
       
      
# ---------------------------------------------------------------------------